[PATCH 143/257] platform/x86: intel-vbtn: Use acpi_evaluate_integer()