[PATCH v2 11/12] hw/arm/raspi: Deprecate old raspiX machine names