diff --git a/src/kernel/boot/platform/bios_ia32/console.h b/src/kernel/boot/platform/bios_ia32/console.h
index dc96a79acd..3084c69d5a 100644
--- a/src/kernel/boot/platform/bios_ia32/console.h
+++ b/src/kernel/boot/platform/bios_ia32/console.h
@@ -11,20 +11,22 @@
 
 
 enum console_color {
+	// foreground and background colors
 	BLACK,
-	NAVY,
-	GREEN,
-	TEAL,
-	MAROON,
-	PURPLE,
-	OLIVE,
-	SILVER,
-	GREY,
 	BLUE,
-	LIME,
-	AQUA,
+	GREEN,
+	CYAN,
 	RED,
-	FUCHSIA,
+	PURPLE,
+	BROWN,
+	GRAY,
+	// foreground colors only
+	DARK_GRAY,
+	BRIGHT_BLUE,
+	BRIGHT_GREEN,
+	BRIGHT_CYAN,
+	BRIGHT_RED,
+	MAGENTA,
 	YELLOW,
 	WHITE
 };