Subject: devmem, x86: fix rename of CONFIG_NONPROMISC_DEVMEM