[U-Boot] [PATCH v2] MX51EVK: fix return value of get_timer_masked