Andrew i posted updated patch for 0007 0008 and 0009 as reply to orignal patches. It includes changes Dan and Kyrill wanted to see. I added the device_private_key to page_alloc.c to avoid modify more than 3 patches but if you prefer i can repost a v23 serie and move the static key to hmm.c
Also i guess posting a v23 would have it tested against builder as i doubt automatic builder are clever enough to understand all this. Cheers, Jérôme
