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