fixing device_x5.mk to point to new kernel folder location