Do not build x86 BIOS loader support