Re: [coreboot] remove MAINBOARD_OPTIONS