Comment 12 for bug 1571590

I can confirm that this bug has been fixed with kdump-tools_1.5.9-5ubuntu0.1_all.deb