Re: [Linaro-uefi] [PATCH 01/11] D02/D03: WA to fix timer interrupt issue