Note to self: installing kernel modules for the wrong kernel version does not produce the desired result.