Re: [Linaro-uefi] [PATCH v2 01/24] D02/D03: workaround to fix timer interrupt issue