[ASAN/AArch64] Fix kernel_old_Xid_t type

[Renato Golin]

On 30 September 2014 20:40, Christophe Lyon <christophe.lyon at linaro.org> wrote:
> Since the last merge (LLVM -> GCC) was just a week ago, I'm not sure
> whether Konstantin will prefer to do another merge or just cherry-pick
> this small patch.

I see what you mean. If you revert & add, wouldn't the cherry-pick get
in the way when the other patches are re-applied in the future?

--renato