bacon : fix kernel path