[SeaBIOS] [PATCH 09/20] acpi: move DBUG() to separate file