UEFI 2.10 and ACPI 6.5 specifications released