Re: [coreboot] mainboard.c: init() still being called?