DMI info / MSI-Wind

Please find here some DMI information about MSI-Wind notebook U100. I only send it because the kernel asks me so. ;-)
I got a kernel oops on the same day, but I can't figure if it was connected with this message.
Best wishes,
Renaud Orain

May 28 18:15:30 msi kernel: [    0.337131] ACPI: EC: Look up EC in DSDT
May 28 18:15:30 msi kernel: [    0.342893] ACPI: BIOS _OSI(Linux) query
ignored
May 28 18:15:30 msi kernel: [    0.342970] ACPI: DMI System Vendor:
MICRO-STAR INTERNATIONAL CO., LTD
May 28 18:15:30 msi kernel: [    0.343046] ACPI: DMI Product Name: U-100
May 28 18:15:30 msi kernel: [    0.343114] ACPI: DMI Product Version:
Ver.001
May 28 18:15:30 msi kernel: [    0.343183] ACPI: DMI Board Name: U-100
May 28 18:15:30 msi kernel: [    0.343250] ACPI: DMI BIOS Vendor:
American Megatrends Inc.
May 28 18:15:30 msi kernel: [    0.343323] ACPI: DMI BIOS Date: 06/26/2008
May 28 18:15:30 msi kernel: [    0.343391] ACPI: Please send DMI info
above to [email protected]
May 28 18:15:30 msi kernel: [    0.343467] ACPI: If "acpi_osi=Linux"
works better, please notify [email protected]
May 28 18:15:30 msi kernel: [    0.347788] ACPI: Interpreter enabled
May 28 18:15:30 msi kernel: [    0.347859] ACPI: (supports S0 S1 S3 S4 S5)
May 28 18:15:30 msi kernel: [    0.348138] ACPI: Using IOAPIC for

interrupt routing