Re: [PATCH] rpi: Use OF_BOARD rather than OF_EMBED