Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision b482287643c356a0fe7f894a9952ca2a25b96498)
+++ kernel/generic/include/typedefs.h	(revision f3831afcf933f2b3baefc871e81f1735fa29f5a9)
@@ -49,10 +49,10 @@
 	uint64_t lo;
 	int64_t hi;
-} int128_t;
+} __attribute__ ((aligned(16))) int128_t;
 
 typedef struct {
 	uint64_t lo;
 	uint64_t hi;
-} uint128_t;
+} __attribute__ ((aligned(16))) uint128_t;
 
 typedef struct {