Access to DMI/SMBIOS data from GRUB

[Michael Mohr]

Good evening;

I'm looking for a way to read strings stored in a server's DMI tables 
from GRUB2.  In grub-core/loader/multiboot.c, there is a FIXME which 
states that SMBIOS tables are not supported.  However, in 
grub-core/commands/efi/loadbios.c's fake_bios_data, it seems that there 
may well be a way to access this data.  Is there code available 
somewhere which encapsulates the process of deserializing this data?  If 
so, how do I use it?  If not, how difficult would it be to implement?

I'm looking at this as a solution to boot servers in a datacenter based 
on e.g. the system serial number as saved in DMI.

Thanks,
Michael Mohr