diff --git a/hermit/arch/x86/include/asm/tasks_types.h b/hermit/arch/x86/include/asm/tasks_types.h
index 55dbbc1c0..555c740b2 100644
--- a/hermit/arch/x86/include/asm/tasks_types.h
+++ b/hermit/arch/x86/include/asm/tasks_types.h
@@ -86,7 +86,7 @@ typedef struct {
 	i387_fxsave_t fxsave;
 	xsave_header_t hdr;
 	uint32_t ymmh[64];
-} xsave_t;
+} xsave_t __attribute__ ((aligned (64)));
 
 union fpu_state {
 	i387_fsave_t	fsave;