update device.mk; remove old fixboot script