device_a808t.mk: update filenames