Re: [PATCH 1/3] gpio: at91: use dev_read_addr() to get base address