x64: Fix stack alignment in page fault handler

Make sure stack pointer is 16-byte aligned. Spotted by Nadav.

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
mmu: Use stack allocation for FPU state

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>