Here's an updated version of the patch that is checkpatch.pl clean (I had forgotten to sign off...). -- Sebastian Kuzminsky