restore 2 deleted lines in CREDITS

Change-Id: I9ffd868d72f38f2d15373ce19ed0023644f19ac4