Rename full_d802.mk to d802.mk