[coreboot-gerrit] Patch merged into coreboot/master: 2445274 storm: Reserve memory from 0x4000_0000-0x414f_ffff