Fixes kernel state tracking for 32 bit x86

In case we ever use that again.
Adds script to build bootable USB drives

Requires extlinux.  See the script for more info.