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