this makes it possible for devices to stash things in `config` (e.g. pathname to DTS) that can later be overwritten (even by the end user)