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