Fix build issue with remote repo
Fix our builder to create two ISOs, one for regular BIOS, one for UEFI

This should fix an issue with USB booting on some systems that don't
like the UEFI bits
Fix some typos
Fix building vbox images