Re: [PATCH v2 05/12] hw/arm/raspi: Consider processor id in types[] array