Rename p880.mk to device.mk