[coreboot] [PATCH] add attribute((noreturn)) to romcc