[coreboot-gerrit] Patch merged into coreboot/master: 96c9686 storm: Put the page table at a correct address