Re: [coreboot] RFC: Typed -- was Re: [PATCH] Drop unneeded header from i82371eb_enable_rom.c