Index: kernel/genarch/src/drivers/dsrln/dsrlnin.c
===================================================================
--- kernel/genarch/src/drivers/dsrln/dsrlnin.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/genarch/src/drivers/dsrln/dsrlnin.c	(revision f134413fa55addfb59fcf058f5aa96cdc941f065)
@@ -57,5 +57,5 @@
 {
 	dsrlnin_instance_t *instance =
-	    malloc(sizeof(dsrlnin_instance_t), FRAME_ATOMIC);
+	    malloc(sizeof(dsrlnin_instance_t));
 	if (instance) {
 		instance->dsrlnin = dev;
Index: kernel/genarch/src/drivers/dsrln/dsrlnout.c
===================================================================
--- kernel/genarch/src/drivers/dsrln/dsrlnout.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/genarch/src/drivers/dsrln/dsrlnout.c	(revision f134413fa55addfb59fcf058f5aa96cdc941f065)
@@ -70,10 +70,9 @@
 outdev_t *dsrlnout_init(ioport8_t *base)
 {
-	outdev_t *dsrlndev = malloc(sizeof(outdev_t), FRAME_ATOMIC);
+	outdev_t *dsrlndev = malloc(sizeof(outdev_t));
 	if (!dsrlndev)
 		return NULL;
 
-	dsrlnout_instance_t *instance = malloc(sizeof(dsrlnout_instance_t),
-	    FRAME_ATOMIC);
+	dsrlnout_instance_t *instance = malloc(sizeof(dsrlnout_instance_t));
 	if (!instance) {
 		free(dsrlndev);
Index: kernel/genarch/src/drivers/ega/ega.c
===================================================================
--- kernel/genarch/src/drivers/ega/ega.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/genarch/src/drivers/ega/ega.c	(revision f134413fa55addfb59fcf058f5aa96cdc941f065)
@@ -584,9 +584,9 @@
 outdev_t *ega_init(ioport8_t *base, uintptr_t addr)
 {
-	outdev_t *egadev = malloc(sizeof(outdev_t), FRAME_ATOMIC);
+	outdev_t *egadev = malloc(sizeof(outdev_t));
 	if (!egadev)
 		return NULL;
 
-	ega_instance_t *instance = malloc(sizeof(ega_instance_t), FRAME_ATOMIC);
+	ega_instance_t *instance = malloc(sizeof(ega_instance_t));
 	if (!instance) {
 		free(egadev);
@@ -609,5 +609,5 @@
 	}
 
-	instance->backbuf = (uint8_t *) malloc(EGA_VRAM_SIZE, FRAME_ATOMIC);
+	instance->backbuf = (uint8_t *) malloc(EGA_VRAM_SIZE);
 	if (!instance->backbuf) {
 		LOG("Unable to allocate backbuffer.");
Index: kernel/genarch/src/drivers/i8042/i8042.c
===================================================================
--- kernel/genarch/src/drivers/i8042/i8042.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/genarch/src/drivers/i8042/i8042.c	(revision f134413fa55addfb59fcf058f5aa96cdc941f065)
@@ -106,5 +106,5 @@
 {
 	i8042_instance_t *instance =
-	    malloc(sizeof(i8042_instance_t), FRAME_ATOMIC);
+	    malloc(sizeof(i8042_instance_t));
 	if (instance) {
 		instance->i8042 = dev;
Index: kernel/genarch/src/drivers/ns16550/ns16550.c
===================================================================
--- kernel/genarch/src/drivers/ns16550/ns16550.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/genarch/src/drivers/ns16550/ns16550.c	(revision f134413fa55addfb59fcf058f5aa96cdc941f065)
@@ -129,5 +129,5 @@
 {
 	ns16550_instance_t *instance =
-	    malloc(sizeof(ns16550_instance_t), FRAME_ATOMIC);
+	    malloc(sizeof(ns16550_instance_t));
 	if (instance) {
 		instance->ns16550 = dev;
@@ -137,6 +137,5 @@
 
 		if (output) {
-			instance->output = malloc(sizeof(outdev_t),
-			    FRAME_ATOMIC);
+			instance->output = malloc(sizeof(outdev_t));
 			if (!instance->output) {
 				free(instance);
Index: kernel/genarch/src/drivers/pl050/pl050.c
===================================================================
--- kernel/genarch/src/drivers/pl050/pl050.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/genarch/src/drivers/pl050/pl050.c	(revision f134413fa55addfb59fcf058f5aa96cdc941f065)
@@ -77,5 +77,5 @@
 
 	pl050_instance_t *instance =
-	    malloc(sizeof(pl050_instance_t), FRAME_ATOMIC);
+	    malloc(sizeof(pl050_instance_t));
 
 	pl050 = dev;
Index: kernel/genarch/src/drivers/s3c24xx/uart.c
===================================================================
--- kernel/genarch/src/drivers/s3c24xx/uart.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/genarch/src/drivers/s3c24xx/uart.c	(revision f134413fa55addfb59fcf058f5aa96cdc941f065)
@@ -102,10 +102,10 @@
 outdev_t *s3c24xx_uart_init(uintptr_t paddr, inr_t inr)
 {
-	outdev_t *uart_dev = malloc(sizeof(outdev_t), FRAME_ATOMIC);
+	outdev_t *uart_dev = malloc(sizeof(outdev_t));
 	if (!uart_dev)
 		return NULL;
 
 	s3c24xx_uart_t *uart =
-	    malloc(sizeof(s3c24xx_uart_t), FRAME_ATOMIC);
+	    malloc(sizeof(s3c24xx_uart_t));
 	if (!uart) {
 		free(uart_dev);
Index: kernel/genarch/src/drivers/via-cuda/cuda.c
===================================================================
--- kernel/genarch/src/drivers/via-cuda/cuda.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/genarch/src/drivers/via-cuda/cuda.c	(revision f134413fa55addfb59fcf058f5aa96cdc941f065)
@@ -91,5 +91,5 @@
 {
 	cuda_instance_t *instance =
-	    malloc(sizeof(cuda_instance_t), FRAME_ATOMIC);
+	    malloc(sizeof(cuda_instance_t));
 	if (instance) {
 		instance->cuda = dev;