extend/kernel: make opoo/odie/etc. print GitHub Actions notes.

extend/kernel: make opoo/odie/etc. print GitHub Actions notes. #648