scripts for cross-compiling ev3dev kernel and boot script