An UEFI bootloader for dual MBR/UEFI Windows To Go installations