Documentation/kdump/kdump.txt: add ARM description