[coreboot] Patch merged into master: d9b1942 Set SB800 ROM decode size based on kconfig.