[PATCH] sgiioc4: use mmio ops instead of port io