Add devunt to CREDITS as patch contributor

Contributions to core are in Gerrit changes I316685262, I42be68c6a, and I45d04691a.

Change-Id: Ic917af8e0c7c9f49528a7309e22c0a60505ba5e8
Merge "Add devunt to CREDITS as patch contributor"