The asm stub for thermal_interrupt was not being created.
Attach a file by drag & drop or click to upload