McKernel IHK SMP-x86 support (build system and config files)

kernel/config/config.smp-x86

@@ -0,0 +1,2 @@
+CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow
+LDFLAGS += -T $(SRC)/config/smp-x86.lds

kernel/config/smp-x86.lds

@@ -0,0 +1,46 @@
+PHDRS 
+{
+	text PT_LOAD FLAGS(5);
+    data PT_LOAD FLAGS(7);
+}
+SECTIONS
+{
+	. = 0xffffffff80001000;
+    _head = .;
+
+    .text : {
+        *(.text);
+    } : text
+
+    . = ALIGN(4096);
+	.data : {
+	      *(.data)
+	      *(.data.*)
+	} :data
+	.rodata : {
+	      *(.rodata .rodata.*)
+	} :data
+
+	.vsyscall : ALIGN(0x1000) {
+		vsyscall_page = .;
+
+		. = vsyscall_page + 0x000;
+		*(.vsyscall.gettimeofday)
+
+		. = vsyscall_page + 0x400;
+		*(.vsyscall.time)
+
+		. = ALIGN(4096);
+	} : data = 0xf4
+
+    .bss : {
+          *(.bss .bss.*)
+    }
+    . = ALIGN(4096);
+    _end = .;
+
+	/DISCARD/ : {
+	     *(.eh_frame)
+         *(.note.gnu.build-id)
+	}
+}