[coreboot] New patch to review for coreboot: 60c90fd Move init.S to a proper filename