The interrupt stub for thermal_interrupt was not being created.

-- 

						Brian Gerst