Bug#866965: (no subject)

[David Griffith]

This kernel commit might be relevant vis-a-vis switching in and out of 
64-bit contexts:

https://github.com/torvalds/linux/commit/6c25da5ad55d48c41b8909bc1f4e3cd5d85bb499