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