bacon: Fix kernel path