Include more verbose device information with kernel dumps
(hardware, bootloader, etc.), and separate the device info
headers from the actual dump with a blank line.
1 file changed