Set CONFIG_DEVTMPFS=y on x86, x86_64, default for udev