title: How do I access UEFI SMBIOS table from Linux kernel space?
body: <p>I want to write a Linux kernel module that do stuff depending on the board vendor and product version.</p>
  
  <p>In userspace, I could just read files under <code>/sys/class/dmi/id/*</code>, but they are not available in kernel space.</p>
  
  <p>I think I should collect data from UEFI SMBIOS table. Can I do it without hardcoding the exact memory address where each vendor uses to save the SMBIOS table?</p>