Re: [U-Boot] [PATCH 1/6] armv8: Make COUNTER_FREQUENCY optional