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