Index: kernel/arch/arm64/include/arch/fpu_context.h
===================================================================
--- kernel/arch/arm64/include/arch/fpu_context.h	(revision c030818c76c1190836935ae3d0c05760e3582537)
+++ kernel/arch/arm64/include/arch/fpu_context.h	(revision 111b9b97905c174ce8c3ed7e4e2a890da2be2d66)
@@ -39,6 +39,4 @@
 #include <arch/fpu_context_struct.h>
 
-#define FPU_CONTEXT_ALIGN  16
-
 #endif
 
Index: kernel/arch/arm64/include/arch/fpu_context_struct.h
===================================================================
--- kernel/arch/arm64/include/arch/fpu_context_struct.h	(revision c030818c76c1190836935ae3d0c05760e3582537)
+++ kernel/arch/arm64/include/arch/fpu_context_struct.h	(revision 111b9b97905c174ce8c3ed7e4e2a890da2be2d66)
@@ -42,5 +42,5 @@
 /** ARM64 FPU context. */
 typedef struct fpu_context {
-	uint128_t vregs[32];
+	_Alignas(16) uint128_t vregs[32];
 	uint32_t fpcr;
 	uint32_t fpsr;