#KERN_CFLAGS += $(CONFIG_E1000_MMIO_HACK)
#KERN_CFLAGS += $(CONFIG_E1000_ON_BOXBORO)
#KERN_CFLAGS += $(CONFIG_E1000_ON_S142)
-#KERN_CFLAGS += $(CONFIG_DISABLE_MPTABLES)
+#KERN_CFLAGS += $(CONFIG_ENABLE_MPTABLES)
#KERN_CFLAGS += $(CONFIG_MONITOR_ON_INT)
#KERN_CFLAGS += $(CONFIG_DISABLE_SMT)
#KERN_CFLAGS += $(CONFIG_BOXBORO)
# Resets stacks in smp_idle(), at the expense of backtrace
#KERN_CFLAGS += $(CONFIG_RESET_STACKS)
#KERN_CFLAGS += $(CONFIG_PCI_VERBOSE)
+# Rimas's Ethernet audio device
+#KERN_CFLAGS += $(CONFIG_ETH_AUDIO)
#KERN_CFLAGS += -DDEVELOPER_NAME=waterman
#KERN_CFLAGS += -DDEVELOPER_NAME=brho