bacon: Move to Franco Kernel