x86, dmi, debug: Log board name (when present) in dmesg/oops output