Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision f93ba6d5f7e19b94e89a6ccab96897a149761b41)
+++ kernel/generic/include/typedefs.h	(revision 662ebc8c0d5ae26e50c3027c50e2fd9891253ce9)
@@ -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 {