Core/ARM11: Correct the size of the VFP register array in the ThreadContext structure.

The VFP registers are 64 bits each, and there are 32 of them.

src/core/core.h

@@ -18,7 +18,7 @@ struct ThreadContext {
     u32 lr;
     u32 pc;
     u32 cpsr;
-    u32 fpu_registers[32];
+    u32 fpu_registers[64];
     u32 fpscr;
     u32 fpexc;
 };