Update notes for submitted changes

* defconfig: Disable INLINEs and enable debugging for mutex and spinlocks