Add UEFI Toolkit

Contains some small command line tools for use with EFI shell, like a
Ramdisk driver and an old Python interpreter.