Release 00.01.01 ev3dev kernel files

This is the kernel that was used to build the v00.01.01 ev3dev release.

Not sure that keeping the kernel and release versions in line will owrk in the long run, but let's see what kind of versioning tarpit I can get myself into...