Index: kernel/genarch/src/drivers/pl050/pl050.c
===================================================================
--- kernel/genarch/src/drivers/pl050/pl050.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/genarch/src/drivers/pl050/pl050.c	(revision 6ff23ff32c8aa9d6ad8d06f1743ca1b0d68c14bc)
@@ -77,5 +77,5 @@
 
 	pl050_instance_t *instance =
-	    malloc(sizeof(pl050_instance_t), FRAME_ATOMIC);
+	    malloc(sizeof(pl050_instance_t));
 
 	pl050 = dev;