[U-Boot] imx: get_ticks in syscounter.c get miscompiled by GCC 6