Re: [LinuxBIOS] ACPI DSDT tables for mainboards