[SeaBIOS] [PATCH RFC v2 1/2] ec: add ASL for ACPI Embedded Controller