Re: [coreboot] GENFADT and GENDSDT