Index: kernel/arch/ia32/src/smp/mps.c
===================================================================
--- kernel/arch/ia32/src/smp/mps.c	(revision bd2532418c5267668c6e7bb7fa820e382d777e25)
+++ kernel/arch/ia32/src/smp/mps.c	(revision 68e540652e175b4bfb5504f9363d31c97d4c5a17)
@@ -91,5 +91,5 @@
 		return false;
 	
-	return (bool) ((processor_entries[i].cpu_flags & 0x01) == 0x01);
+	return ((processor_entries[i].cpu_flags & 0x01) == 0x01);
 }
 
@@ -98,5 +98,5 @@
 	assert(i < processor_entry_cnt);
 	
-	return (bool) ((processor_entries[i].cpu_flags & 0x02) == 0x02);
+	return ((processor_entries[i].cpu_flags & 0x02) == 0x02);
 }
 
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision bd2532418c5267668c6e7bb7fa820e382d777e25)
+++ kernel/generic/src/mm/as.c	(revision 68e540652e175b4bfb5504f9363d31c97d4c5a17)
@@ -833,5 +833,5 @@
 			    btree_node_t, leaf_link);
 			
-			if ((cond = (bool) node->keys)) {
+			if ((cond = (node->keys != 0))) {
 				uintptr_t ptr = node->key[node->keys - 1];
 				size_t node_size =