Added interrupt management, timers, x86 platform