This was reported to LKML on 28 July 2009 by Roel Kluin and it is x86 specific. The issue affects EFI ...
xorl.wordpress.com