x86: fix macro with bad_bios_dmi_table