[coreboot] Re: lewisburg GPIO