Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/generic/src/time/clock.c	(revision 399ece9c3b29b6d480351f5f7c2b34f9a4ac3286)
@@ -105,6 +105,4 @@
 	 */
 	sysinfo_set_item_val("clock.cacheable", NULL, (unative_t) true);
-	sysinfo_set_item_val("clock.fcolor", NULL, (unative_t)
-		PAGE_COLOR(clock_parea.vbase));
 	sysinfo_set_item_val("clock.faddr", NULL, (unative_t) faddr);
 }