Re: [U-Boot] [PATCH v1 1/2] x86: tangier: Use actual GPIO hardware numbers