[coreboot] MEC1619 gpio access question (X230)