Fix derps in device.mk and BoardConfig.mk