[coreboot] HAVE_MP_TABLE fixup