Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision 3579629b513a15441821010184aefe9cad81c957)
+++ kernel/generic/include/typedefs.h	(revision fab2746a5541d35bc79cbed917f66153231e4a4b)
@@ -47,14 +47,4 @@
 
 typedef struct {
-	uint64_t lo;
-	int64_t hi;
-} __attribute__ ((aligned(16))) int128_t;
-
-typedef struct {
-	uint64_t lo;
-	uint64_t hi;
-} __attribute__ ((aligned(16))) uint128_t;
-
-typedef struct {
 	volatile atomic_count_t count;
 } atomic_t;