Update notes for submitted changes

* Enable SILICON_PERFORMANCE. This puts the OMAP4430's max at 1.2Ghz.