[SeaBIOS] [PATCH][seabios] ec: add ASL for ACPI Embedded Controller