[coreboot] Patch merged into coreboot/master: efb7940 Add include files for samsung s5p-common