Added initial, untested UEFI and Debian x86_64 support.