Please send it out. I will take a look (not that I can fix it :)
Yikes! Until we fix that there's no point in looking at anything else.
CONFIG_DEBUG_PAGEALLOC would nail this bug in a flash, but x86_64 doesn't
implement the damn thing :(
I have an implementation, but there's some bug in it I never fixed. If
you want it, I'll update it and send it out ... maybe you can spot the
bug ;-(