Update device.mk with hammerhead 5.0 stuff