[coreboot] Patch merged into coreboot/master: 23547dd Minor changes to .h files for samsung ARM part