x86: tangier: Use actual GPIO hardware numbers