No matches were found for subject:"Bug#494842\: versatile kernel doesn't boot"