Kernel: check array bounds when registering for event or calling event
TemperatureControl: right number of arguments to printf, not sure why compiler doesn't complain