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