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