Update notes for submitted changes

* Enable extlinux support for (non-Ubuntu) Debian platforms