RE: [PATCH] Fix an Oops when read_current_timer is called on ARM32 platforms where the SP804 is not registered as the sched_clock.

[stephen . eta . zhou]

Hi all,

> From: Stephen Eta Zhou <stephen.eta.zhou@xxxxxxxxx>
It shouldn't have been included in the patch;
git send-email automatically added it to the beginning.
Sorry about that..

I will resend a patch; please ignore this one.
Sorry for bothering you all.

Best regards,  
Stephen