Modified Makefile for building on raspi and dev-machine, added new task to reset the kernel