Merge branches 'irq/sparseirq', 'x86/quirks' and 'x86/reboot' into cpus4096