asus-laptop: use acpi_evaluate_integer instead of read_acpi_int