[SeaBIOS] [PATCH] seabios: acpi: fix memory leak in build_srat().