Same file, except for whitespace and comment formatting.
Signed-off-by: NThomas Gleixner <tglx@linutronix.de>