[coreboot] New patch to review for coreboot: a44775b Minor changes to .h files for samsung ARM part