On Fri, 03 Jun, at 11:00:40AM, Will Deacon wrote: > > Mark, Jeremy? > > I've kept this patch marked as unread, but it's not clear to me (a) how > urgent it is (b) what tree it should go through and (c) whether it's the > right thing to do! Ping? Anyone got an update here?