Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision ae7d03c05f24b857bbbdbcf3dafbf8ecc6c286ab)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision ad896ebba1de338128a963fdca9134a0b48dc7c6)
@@ -320,5 +320,5 @@
 {
 
-	pl050_t *pl050 = malloc(sizeof(pl050_t), FRAME_ATOMIC);
+	pl050_t *pl050 = malloc(sizeof(pl050_t));
 	pl050->status = (ioport8_t *) icp.hw_map.kbd_stat;
 	pl050->data = (ioport8_t *) icp.hw_map.kbd_data;