Ubuntu and Debian intermittently fail to boot: `Kernel panic - not syncing: IO-APIC + timer doesn't work`

[AkihiroSuda]

==> /Users/runner/.lima/debian/serial.log <==
57
[    0.056000] Call Trace:
58
[    0.056000]  dump_stack+0x6b/0x83
59
+ exit 1
60
[    0.056000]  panic+0x101/0x2d7
61
+ limactl delete -f debian
62
[    0.056000]  setup_IO_APIC+0x80e/0x855
63
[    0.056000]  ? _raw_spin_unlock_irqrestore+0x16/0x20
64
[    0.056000]  ? clear_IO_APIC_pin+0x173/0x240
65
[    0.056000]  x86_late_time_init+0x20/0x30
66
[    0.056000]  start_kernel+0x4eb/0x5a8
67
[    0.056000]  secondary_startup_64_no_verify+0xb0/0xbb
68
[    0.056000] ---[ end Kernel panic - not syncing: IO-APIC + timer doesn't work!  Boot with apic=debug and send a report.  Then try booting with the 'noapic' option. ]---

https://github.com/AkihiroSuda/lima/blob/eec56822fe197c15a9ac40a0ca736c3a1f5f833e/examples/debian.yaml

[AkihiroSuda]

The default Ubuntu instance hits the same issue intermittently

==> /Users/runner/.lima/default/serial.log <==
[    0.048000]  check_timer+0x4a9/0x518
[    0.048000]  ? radix_tree_lookup+0xd/0x10
+ exit 1
[    0.048000]  setup_IO_APIC+0x111/0x120
+ limactl delete -f default
[    0.048000]  apic_intr_mode_init+0x107/0x10a
[    0.048000]  x86_late_time_init+0x24/0x35
[    0.048000]  start_kernel+0x3eb/0x4a7
[    0.048000]  x86_64_start_reservations+0x24/0x26
[    0.048000]  x86_64_start_kernel+0x8b/0x8f
[    0.048000]  secondary_startup_64_no_verify+0xc2/0xcb
[    0.048000] ---[ end Kernel panic - not syncing: IO-APIC + timer doesn't work!  Boot with apic=debug and send a report.  Then try booting with the 'noapic' option. ]---

[AkihiroSuda]

#294 seems working as workaround, so closing this

[afbjorklund]

Seems to still be happening, seen in CI for recent PR