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.