Update notes for submitted changes

* holiday_dependencies: Change the kernel repo