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