Index: kernel/genarch/src/fb/fb.c
===================================================================
--- kernel/genarch/src/fb/fb.c	(revision 76fca318d723e24d0c79dc1a99d87b0b03dee0f1)
+++ kernel/genarch/src/fb/fb.c	(revision 882d7a8637d67d7356fa44c0da06a3078a89d0bc)
@@ -160,11 +160,12 @@
  * and setting it to simulate the 8-bit truecolor.
  *
- * Currently we set the palette on the ia32 and sparc64 port.
+ * Currently we set the palette on the ia32, amd64 and sparc64 port.
  *
  * Note that the byte is being inverted by this function. The reason is
  * that we would like to use a color palette where the white color code
- * is 0 and the black color code is 255, as some machines (SunBlade 1500) 
+ * is 0 and the black color code is 255, as some machines (Sun Blade 1500)
  * use these codes for black and white and prevent to set codes
  * 0 and 255 to other colors.
+ *
  */
 static void rgb_323(void *dst, uint32_t rgb)