[coreboot] Re: How can My linux kernel detect gpio or pinctrl on denverton platform ?