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