Re: [coreboot] [PATCH][v3] Make OPTION_TABLE = n build, move to a menu option