Alex Henrie : ntdll: Return board info from NtQuerySystemInformation on Linux.