Update notes for submitted changes

* Tell the VExpress bootloader to turn off the USB debug mode once we have done whatever we are going to do with it. Reduces USB load on the dispatcher.
Update notes for submitted changes

* selinux: test all images for selinux support