fix machine detection: in Ubuntu dmesg is prefixed with boot time