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