diff --git a/arch/x86/defconfig b/arch/x86/defconfig
index 53446cf1d86..20c2fcd9685 100644
--- a/arch/x86/defconfig
+++ b/arch/x86/defconfig
@@ -11,7 +11,7 @@ CONFIG_MICROKERNEL=y
 # General Kernel Options
 #
 CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
-CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=1193180
+CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
 CONFIG_SYS_CLOCK_EXISTS=y
 # CONFIG_INIT_STACKS is not set
 # CONFIG_XIP is not set
@@ -90,7 +90,7 @@ CONFIG_PHYS_LOAD_ADDR=0x00100000
 #
 # Board Capabilities
 #
-CONFIG_BOI_HANDLER_SUPPORTED=y
+# CONFIG_BOI_HANDLER_SUPPORTED is not set
 CONFIG_EOI_HANDLER_SUPPORTED=y
 # CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set
 # CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set
@@ -100,12 +100,12 @@ CONFIG_EOI_HANDLER_SUPPORTED=y
 #
 # CONFIG_BSP_ATOM_N28XX is not set
 # CONFIG_BSP_PCMINUTEIA is not set
-CONFIG_BSP_PCPENTIUM4=y
-# CONFIG_BSP_QUARK is not set
-CONFIG_BSP_GENERIC_PC=y
+# CONFIG_BSP_PCPENTIUM4 is not set
+CONFIG_BSP_QUARK=y
+# CONFIG_BSP_GENERIC_PC is not set
 # CONFIG_CPU_ATOM is not set
-# CONFIG_CPU_MINUTEIA is not set
-CONFIG_CPU_PENTIUM4=y
+CONFIG_CPU_MINUTEIA=y
+# CONFIG_CPU_PENTIUM4 is not set
 # CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
 
 #
@@ -114,8 +114,10 @@ CONFIG_CPU_PENTIUM4=y
 CONFIG_ISA_IA32=y
 CONFIG_HARDWARE_BP_SUPPORTED=y
 # CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
-# CONFIG_CPU_SSE_UNSUPPORTED is not set
-CONFIG_CACHE_LINE_SIZE=64
+CONFIG_CMOV_UNSUPPORTED=y
+CONFIG_CPU_FLOAT_UNSUPPORTED=y
+CONFIG_CPU_SSE_UNSUPPORTED=y
+CONFIG_CACHE_LINE_SIZE=0
 
 #
 # Specific BSP Capability Support
@@ -124,30 +126,31 @@ CONFIG_CACHE_LINE_SIZE=64
 # CONFIG_PROT_MODE_SWITCH_PROMPT is not set
 # CONFIG_ADVANCED_IDLE_SUPPORTED is not set
 CONFIG_BOOTLOADER_UNKNOWN=y
-CONFIG_PIC=y
-
-#
-# Floating Point Options
-#
-# CONFIG_FLOAT is not set
-# CONFIG_PCI is not set
-CONFIG_BSP_DIR="generic_pc"
+# CONFIG_SHUTOFF_PIC is not set
+CONFIG_PCI=y
+# CONFIG_PCI_DEBUG is not set
+CONFIG_BSP_DIR="quark"
+CONFIG_EXTRA_SERIAL_PORT=y
+CONFIG_SERIAL_INTERRUPT_LEVEL=y
+# CONFIG_SERIAL_INTERRUPT_LOW is not set
+CONFIG_MAX_PCI_DEVS=8
+# CONFIG_BOOTLOADER_KEXEC is not set
+CONFIG_BOOTLOADER_GRUB=y
 
 #
 # Serial Ports
 #
-CONFIG_EXTRA_SERIAL_PORT=y
 
 #
 # Timer Configuration
 #
-# CONFIG_HPET_TIMER is not set
+CONFIG_HPET_TIMER=y
 
 #
 # Interrupt Controller Configuration
 #
-# CONFIG_IOAPIC is not set
-# CONFIG_LOAPIC is not set
+CONFIG_IOAPIC=y
+CONFIG_LOAPIC=y
 
 #
 # Device Drivers
@@ -162,7 +165,7 @@ CONFIG_NS16550=y
 # CONFIG_K20_UART is not set
 # CONFIG_STELLARIS_UART is not set
 # CONFIG_UART_INTERRUPT_DRIVEN is not set
-CONFIG_PIT=y
+# CONFIG_PIT is not set
 
 #
 # Random Generation Configuration