On Wed, Apr 30, 2014 at 04:34:29PM +0100, Rajan Srivastava wrote: > I am referring to ARM for ARMv8-A, "ARM DDI 0487A.a_errata_2013_Q3 > (ID100313)", section D8.2.79 'System Control Register (EL1)'. I meant which kernel version have you looked at? -- Catalin