[coreboot-gerrit] Patch merged into coreboot/master: 78c3e33 FUI: reorganize include files