Local APIC

- local APIC timer used as the source of time

- PIC is still used as the hw interrupt controller as we don't have
  enough info without ACPI or MPS to set up IO APICs

- remapping of APIC when switching paging on, uses the new mechanism
  to tell VM what phys areas to map in kernel's virtual space

- one more step to SMP

based on code by Arun C.

kernel/debug.h

@@ -75,4 +75,15 @@
 	for(;;);							\
 } while(0)
 
+#define NOT_IMPLEMENTED do {	\
+		kprintf("NOT_IMPLEMENTED at %s:%d\n", __FILE__, __LINE__); \
+		minix_panic("NOT_IMPLEMENTED", NO_NUM); \
+} while(0)
+
+#ifdef CONFIG_BOOT_VERBOSE
+#define BOOT_VERBOSE(x)	x
+#else
+#define BOOT_VERBOSE(x)
+#endif
+
 #endif /* DEBUG_H */