Index: kernel/arch/ia32/src/smp/mps.c
===================================================================
--- kernel/arch/ia32/src/smp/mps.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
+++ kernel/arch/ia32/src/smp/mps.c	(revision 132ab5d1e75253f9bae910b2748a4c13efe7e71f)
@@ -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);
 }