debian/version.patch                                                                                                                             
debian/kernelvariables.patch
rpi-bootc-20120624.patch
