RE: [edk2] AARCH64: Timer Dxe