Update notes for submitted changes

* mako: define TARGET_USE_PREBUILT_KERNEL