remove fixboot script; update device.mk