Comment 7 for bug 1350373

Thanks for the test kernel. Unfortunately it crashes in gnttab_init() when booting. I think the backport to 3.13 is not correct.

I will try to produced a working backported patch.