Re: [SeaBIOS] [PATCH v4 5/5] acpi: add an option to disable builtin tables