Generic x86_64 uefi device

This adds a device that works on x86_64 tablets that use uefi. it currently has kernel modules for sata, usb2 and usb3.

It can also be used to boot pmos on normal computers if you install it to an sd card.