Re: [coreboot] [PATCH] The GPIO base address for TIM-5690.