[PATCH v2 3/4] kernel32: Return board info from GetSystemFirmwareTable on Linux