[coreboot-gerrit] New patch to review for coreboot: 18ec790 build system: fix alignment function