Index: genode/base-foc/contrib/kernel/fiasco/src/kern/arm/paging-arm.cpp
===================================================================
--- genode/base-foc/contrib/kernel/fiasco/src/kern/arm/paging-arm.cpp	(revision 40)
+++ genode/base-foc/contrib/kernel/fiasco/src/kern/arm/paging-arm.cpp	(working copy)
@@ -62,7 +62,7 @@
 
     // The next are ARM specific
     WRITETHROUGH = 0x08, ///< Write through cached
-    BUFFERED     = 0x40, ///< Write buffer enabled -- Normal, non-cached
+    BUFFERED     = 0x04, ///< Write buffer enabled
 
     MAX_ATTRIBS  = 0x0ffc,
     Local_page   = 0x800,