[coreboot] Patch merged into coreboot/master: 6a01563 Move init.S to a proper filename