lx4vl2.patch only contains the changes we applied to the camera driver.
The full source of the camera driver and the Linux kernel as a whole is
available on the Aldebaran website.
