This commit makes no changes, as shown by "git diff -w" before
committing, but blank spaces at end-of-line make my editor scream
(because I'm pedanting in not pushing those to the kernel).
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>