[coreboot-gerrit] Patch merged into coreboot/master: arches: lib: add main_decl.h for main() declaration