Update notes for submitted changes

* Change kernel config back to allow module loading.