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 ba25c4bbca58a62473323b0e9c57e9cb14bcbf5a)
@@ -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 ba25c4bbca58a62473323b0e9c57e9cb14bcbf5a)
@@ -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;