Re: [U-Boot] [PATCH 04/12] arm: Rename HCTR to HTCR