Re: [coreboot] v2 HAVE_OPTION_TABLE patch