Index: kernel/arch/arm32/include/machine.h
===================================================================
--- kernel/arch/arm32/include/machine.h	(revision 4f8a0c090e512bf30f40b6e292b3989a9ad1f703)
+++ kernel/arch/arm32/include/machine.h	(revision 741a7af97a6bf9ef56b7daf5b202cca4bd40abe5)
@@ -103,16 +103,15 @@
 
 
-#ifdef MACHINE_GXEMUL_TESTARM 	
-#define machine_console_init(devno)           gxemul_console_init(devno)
-#define machine_grab_console                  gxemul_grab_console
-#define machine_release_console               gxemul_release_console 
-#define machine_hw_map_init                   gxemul_hw_map_init
-#define machine_timer_irq_start               gxemul_timer_irq_start
-#define machine_cpu_halt                      gxemul_cpu_halt
-#define machine_get_memory_size               gxemul_get_memory_size
-#define machine_debug_putc(ch)                gxemul_debug_putc(ch)
-#define machine_irq_exception(exc_no, istate) \
-        gxemul_irq_exception(exc_no, istate)
-#define machine_get_fb_address                gxemul_get_fb_address
+#ifdef MACHINE_GXEMUL_TESTARM
+	#define machine_console_init(devno)            gxemul_console_init(devno)
+	#define machine_grab_console                   gxemul_grab_console
+	#define machine_release_console                gxemul_release_console 
+	#define machine_hw_map_init                    gxemul_hw_map_init
+	#define machine_timer_irq_start                gxemul_timer_irq_start
+	#define machine_cpu_halt                       gxemul_cpu_halt
+	#define machine_get_memory_size                gxemul_get_memory_size
+	#define machine_debug_putc(ch)                 gxemul_debug_putc(ch)
+	#define machine_irq_exception(exc_no, istate)  gxemul_irq_exception(exc_no, istate)
+	#define machine_get_fb_address                 gxemul_get_fb_address
 #endif