Re: [PATCH v2 03/12] hw/arm/raspi: Unify RASPI_MACHINE types