*countable infinities only

[Kevin Kofler]

Chris Adams wrote:
> For many users, telling them to change a BIOS setting is Greek to them.

So we need step-by-step instructions for the common BIOSes. Not 
unsurmountable.

> There are a lot of options, and some can break your computer; it is far
> from an easy change.

The option they need to change has a very specific name ("Secure Boot"). 
IMHO, users should be able to find it even without more detailed 
instructions.

        Kevin Kofler