EZR32 Happy Gecko Software Documentation  ezr32hg-doc-5.1.2