[PATCH 4.19 149/267] platform/x86: intel-vbtn: Use acpi_evaluate_integer()