Update notes for submitted changes

* hardlockup: detect hard lockups without NMIs using secondary cpus