Re: [PATCH] rpi: Add identifiers for the new RPi 5 series