Corrected 64-bit integer types (pf_maxmem and trace_buf_size)
If manufacturer and product can't be derived from the baseboard SMBIOS table entry, go back to using the System part of the table instead
Make sure to select APIC ATT page when iterating through nodes in case they're not all sharing the same page