Update notes for submitted changes

* ARM: move VFP init to an earlier boot stage