platform/x86: intel-vbtn: Use acpi_evaluate_integer()