Fixed a broken build caused by a change in checkpatch.pl.