[U-Boot] ACPI tables for Edison: advice needed