Re: [coreboot] Question about how CoreBoot handles Option ROM