Re: [PATCH] MAINTAINERS: Update info for Raspberry Pi