[SeaBIOS] [RFC][PATCH 1/2] acpi: add ASL for Embedded Controller