Hi Laura,FWIW, for patches 1-4:Reviewed-by: Mark Rutland <mark.rutland@arm.com>I still need to figure out the __pa() stuff in the last two patches.Thanks,Mark.