[US208.2] default value for deviceid at boot time