There is one difference in the Core and dCore kernels, and that is dCore has the devtmpfs enabled as necessary to support systemd's existence. Below is the relevent entry in the kernel config file:
CONFIG_DEVTMPFS=y
CONFIG_DEVTMPFS=y