[PATCH] kdump: introduce "reset_devices" command line option