Re: [coreboot] HAVE_MP_TABLE fixup