Increased kernel stack size by another page for 64-bit

* USB boot now works on x86_64 with PM.