[coreboot] Problem about GPIO