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