diff --git a/repos/base-hw/src/core/include/spec/x86/fpu.h b/repos/base-hw/src/core/include/spec/x86/fpu.h
index 81c1ef6c31..72e9fe784a 100644
--- a/repos/base-hw/src/core/include/spec/x86/fpu.h
+++ b/repos/base-hw/src/core/include/spec/x86/fpu.h
@@ -59,7 +59,7 @@ class Genode::Fpu
 			public:
 
 				~Context() { if (_fpu) _fpu->unset(*this); }
-		} __attribute__((aligned(16)));
+		};
 
 	private: