Re: [coreboot] intel/i82801dx SMM memory size?