[SeaBIOS] [PATCH v2 2/6] acpi: rename Processor SSDT constants