Nov 13 08:07:31 d78 kernel: [62725.116121] Hardware name: Dell Inc. Latitude E5530 non-vPro/05GRXT, BIOS A11 05/20/2013
Nov 13 08:07:31 d78 kernel:
[62725.116121] Hardware name: Dell Inc. Latitude E5530 non-vPro/05GRXT, BIOS A11 05/20/2013