Re: [BULK] Re: [LinuxBIOS] Potential copyright issues with decompiling ACPI tables?