boot device selection

It's sometimes harder than you think to boot a computer from a USB stick. It takes two non-trivial skills to pull it off:

1. Making a bootable USB stick
2. Coercing your computer to boot from that USB stick