Re: [SeaBIOS] [PATCH] seabios: readd Makefile rule for ACPI