Fix BIOS execution/BIST entry point