Description of ARM_security_properties example for the release notes
Mention space-wastage bug in Overload in release notes.