Update device.mk for inline kernel