[U-Boot] [PATCH 1/2 V3] new video driver for bus vcxkframebuffers

[Robin Getz]

On Sun 26 Jul 2009 07:46, Anatolij Gustschin pondered:
> Jens Scharsig wrote:
> > This patch adds a new video driver
> > 
> > * adds common bus_vcxk framebuffer driver 
> > 
> > Signed-off-by: Jens Scharsig <esw at bus-elektronik.de>
> 
> Applied to u-boot-video. Thanks! Note that I had to fix lots
> of style issues before applying. Next time please use
> scripts/checkpatch.pl from the Linux source tree to
> check your patches before submitting them and resolve
> reported issues were it makes sence. Thanks.

Is there a reason not to include the checkpatch.pl in 
http://www.denx.de/wiki/U-Boot/Patches or in the README (in the Submitting 
Patches section) if it is going to be a requirement?