[coreboot] Question about how CoreBoot handles Option ROM