[SeaBIOS] [PATCH 04/11] acpi: move DBUG() to separate file [q35]