Revert device_getenv_int() for now as it duplicates resource_int_value().
We should perhaps implement a device_getenv_*() and device_setenv_*() API
as a convenience wrapper on top of resource_*_value() and resource_set_*().


git-svn-id: svn+ssh://svn.freebsd.org/base/head@275460 ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f