[coreboot] New patch to review: d9b1942 Set SB800 ROM decode size based on kconfig.