Fix for Mixed case identifier found in pic32mz_timer.h Signed-off-by: Alin Jerpelea <alin.jerpelea@sony.com>