[PATCH 4.14 080/176] clocksource/drivers/mxs_timer: Add missing semicolon when DEBUG is defined