these two kernel modules are built-in now