irq 9: nobody cared (try booting with the "irqpoll" option) on Lenovo x3550 M5

Issue

• Following traces are logged at the boot time on Lenovo x3550 M5:

Jun 20 13:04:30 hostname kernel: Hardware name: LENOVO System x3550 M5: -[8869AC1]-/00YL833, BIOS -[TBE122WUS-2.01]- 04/27/2016
Jun 20 13:04:30 hostname kernel: ffff880667c0c900 05c8f1bb4aec5196 ffff880668203e40 ffffffff816359e4
Jun 20 13:04:30 hostname kernel: ffff880668203e68 ffffffff8111eb22 ffff880667c0c900 0000000000000009
Jun 20 13:04:30 hostname kernel: 0000000000000000 ffff880668203ea8 ffffffff8111ef42 05c8f1bb4aec5196
Jun 20 13:04:30 hostname kernel: Call Trace:
Jun 20 13:04:30 hostname kernel: <IRQ>  [<ffffffff816359e4>] dump_stack+0x19/0x1b
Jun 20 13:04:30 hostname kernel: [<ffffffff8111eb22>] __report_bad_irq+0x32/0xd0
Jun 20 13:04:30 hostname kernel: [<ffffffff8111ef42>] note_interrupt+0x132/0x1f0
Jun 20 13:04:30 hostname kernel: [<ffffffff8111c651>] handle_irq_event_percpu+0xe1/0x1e0
Jun 20 13:04:30 hostname kernel: [<ffffffff8111c78d>] handle_irq_event+0x3d/0x60
Jun 20 13:04:30 hostname kernel: [<ffffffff8111fbfa>] handle_fasteoi_irq+0x5a/0x100
Jun 20 13:04:30 hostname kernel: [<ffffffff81016ecf>] handle_irq+0xbf/0x150
Jun 20 13:04:30 hostname kernel: [<ffffffff810e151a>] ? tick_check_idle+0x8a/0xd0
Jun 20 13:04:30 hostname kernel: [<ffffffff81641bba>] ? atomic_notifier_call_chain+0x1a/0x20
Jun 20 13:04:30 hostname kernel: [<ffffffff8164862f>] do_IRQ+0x4f/0xf0
Jun 20 13:04:30 hostname kernel: [<ffffffff8163d8ed>] common_interrupt+0x6d/0x6d
Jun 20 13:04:30 hostname kernel: <EOI>  [<ffffffff81058e96>] ? native_safe_halt+0x6/0x10
Jun 20 13:04:30 hostname kernel: [<ffffffff8101dbcf>] default_idle+0x1f/0xc0
Jun 20 13:04:30 hostname kernel: [<ffffffff8101e4d6>] arch_cpu_idle+0x26/0x30
Jun 20 13:04:30 hostname kernel: [<ffffffff810d6405>] cpu_startup_entry+0x245/0x290
Jun 20 13:04:30 hostname kernel: [<ffffffff81625647>] rest_init+0x77/0x80
Jun 20 13:04:30 hostname kernel: [<ffffffff81a8d057>] start_kernel+0x429/0x44a
Jun 20 13:04:30 hostname kernel: [<ffffffff81a8ca37>] ? repair_env_string+0x5c/0x5c
Jun 20 13:04:30 hostname kernel: [<ffffffff81a8c120>] ? early_idt_handlers+0x120/0x120
Jun 20 13:04:30 hostname kernel: [<ffffffff81a8c5ee>] x86_64_start_reservations+0x2a/0x2c
Jun 20 13:04:30 hostname kernel: [<ffffffff81a8c742>] x86_64_start_kernel+0x152/0x175
Jun 20 13:04:30 hostname kernel: handlers:
Jun 20 13:04:30 hostname kernel: [<ffffffff8135e61a>] acpi_irq
Jun 20 13:04:30 hostname kernel: Disabling IRQ #9