Fix kernel reference resolution