Re: [SeaBIOS] [PATCH please reply] make acpi bits GPLv2 compatible