Re: [PATCH] hw/arm/raspi: Remove deprecated raspi2/raspi3 aliases