Index: kernel/genarch/src/kbrd/kbrd.c
===================================================================
--- kernel/genarch/src/kbrd/kbrd.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/genarch/src/kbrd/kbrd.c	(revision 6ff23ff32c8aa9d6ad8d06f1743ca1b0d68c14bc)
@@ -172,5 +172,5 @@
 {
 	kbrd_instance_t *instance =
-	    malloc(sizeof(kbrd_instance_t), FRAME_ATOMIC);
+	    malloc(sizeof(kbrd_instance_t));
 	if (instance) {
 		instance->thread = thread_create(kkbrd, (void *) instance,
Index: kernel/genarch/src/kbrd/kbrd_at.c
===================================================================
--- kernel/genarch/src/kbrd/kbrd_at.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/genarch/src/kbrd/kbrd_at.c	(revision 6ff23ff32c8aa9d6ad8d06f1743ca1b0d68c14bc)
@@ -170,5 +170,5 @@
 	kbrd_instance_t *instance;
 
-	instance = malloc(sizeof(kbrd_instance_t), FRAME_ATOMIC);
+	instance = malloc(sizeof(kbrd_instance_t));
 	if (instance) {
 		instance->thread = thread_create(kkbrd, (void *) instance, TASK, 0,