[PATCH v2 04/12] hw/arm/raspi: Pass board_rev as argument to raspi_base_machine_init()