Fix mistaken touch of kernel names