[coreboot-gerrit] Patch set updated for coreboot: arches: lib: add main_decl.h for main() declaration