Update notes for submitted changes

* SGX-BIN: DDK binaries and KM source 1.9@2291151
Update notes for submitted changes

* sgxpvr: Don't ignore interrupts when preparing to sleep.