Use acpi_evaluate_integer() instead of read_acpi_int()
Signed-off-by: NCorentin Chary <corentincj@iksaif.net>
Signed-off-by: NLen Brown <len.brown@intel.com>