Re: [U-Boot] [PATCH 05/17] Fix sc520 timer interrupt generation