kernel: we need CONFIG_DEVTMPFS for udev