Migrate ARM platforms to use the new GICv3 API