Fix naming of different kernel sources