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