dlx: Fix kernel path