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