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