ACPI: Switch to use generic guid_t in acpi_evaluate_dsm()