To: Dave Jones <davej@...>, Ingo Molnar <mingo@...>, David Fries <david@...>, <linux-kernel@...>, Rafael J. Wysocki <rjw@...>, Pavel Machek <pavel@...>, H. Peter Anvin <hpa@...>, Thomas Gleixner <tglx@...>
Necessary, almost certainly not, but (a) it doesn't hurt anything, (b)
it's good to be consistent and (c) it might still be useful to virtualizers.
EFI is an abomination no matter how you look at it, of course.
-hpa
--