Update notes for submitted changes

* Add RedHat support for disk-image-get-kernel.