We've moved!

The ev3dev-kernel repository has relocated to [https://github.com/ev3dev/ev3dev-kernel] to consolidate the project into one well-known area.

Thanks to the Mindboards team for hosting us up until now!