Actually run the BIOS when optionally loaded