Re: [coreboot] What happened to the Option ROM options?