Should I try using kernel/head_32.S from 2.6.31.6 with 2.6.32.10 dom0 kernel?
I have access to the machine in question again on sunday, so I could test
things then.
It looks like there's no significant difference between them. I'm at a
bit of a loss really; "noexec=off" really should have avoided the
problem if it is NX.