On Wed, May 21, 2014 at 03:13:54PM -0700, H. Peter Anvin wrote:> Seems like a comment would be in order, though.Sure, I'll do a nice one once this discussions quiets down. :-)-- Regards/Gruss, Boris.Sent from a fat crate under my desk. Formatting is fine.--