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