#include <asm/apic.h>
 #include <asm/cpu.h>
 #include <asm/hypervisor.h>
+#include <asm/i8259.h>
 #include <asm/setup.h>
 
 static __initdata struct jailhouse_setup_data setup_data;
        return jailhouse_cpuid_base();
 }
 
+static void jailhouse_get_wallclock(struct timespec *now)
+{
+       memset(now, 0, sizeof(*now));
+}
+
 static void __init jailhouse_timer_init(void)
 {
        lapic_timer_frequency = setup_data.apic_khz * (1000 / HZ);
        struct setup_data header;
        void *mapping;
 
+       x86_init.irqs.pre_vector_init   = x86_init_noop;
        x86_init.timers.timer_init      = jailhouse_timer_init;
        x86_init.mpparse.get_smp_config = jailhouse_get_smp_config;
 
        x86_platform.calibrate_cpu      = jailhouse_get_tsc;
        x86_platform.calibrate_tsc      = jailhouse_get_tsc;
+       x86_platform.get_wallclock      = jailhouse_get_wallclock;
+       x86_platform.legacy.rtc         = 0;
+       x86_platform.legacy.warm_reset  = 0;
+       x86_platform.legacy.i8042       = X86_LEGACY_I8042_PLATFORM_ABSENT;
+
+       legacy_pic                      = &null_legacy_pic;
 
        while (pa_data) {
                mapping = early_memremap(pa_data, sizeof(header));