Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/generic/src/console/cmd.c	(revision f959786633df7b137a1e39b67c43a12c1beb80fc)
@@ -1465,5 +1465,6 @@
 		return true;
 
-	uint64_t *data = (uint64_t *) malloc(sizeof(uint64_t) * cnt, 0);
+	uint64_t *data = (uint64_t *) malloc(sizeof(uint64_t) * cnt,
+	    FRAME_ATOMIC);
 	if (data == NULL) {
 		printf("Error allocating memory for statistics\n");
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/generic/src/console/console.c	(revision f959786633df7b137a1e39b67c43a12c1beb80fc)
@@ -411,5 +411,5 @@
 
 	if (size > 0) {
-		data = (char *) malloc(size + 1, 0);
+		data = (char *) malloc(size + 1, FRAME_ATOMIC);
 		if (!data)
 			return (sys_errno_t) ENOMEM;
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/generic/src/console/kconsole.c	(revision f959786633df7b137a1e39b67c43a12c1beb80fc)
@@ -298,5 +298,7 @@
 		end++;
 
-	tmp = malloc(STR_BOUNDS(end - start + 1), 0);
+	tmp = malloc(STR_BOUNDS(end - start + 1), FRAME_ATOMIC);
+	if (!tmp)
+		return NULL;
 
 	wstr_to_str(tmp, end - start + 1, &cmdline[start]);