bacon : Fix kernel building task