LinuxKPI: Add acpi_dev_present() function.

acpi_dev_present detects that a given ACPI device is present based on
Hardware ID, Unique ID and Hardware Revision of the device.

Sponsored by: Serenity Cyber Security, LLC
Reviewed by: manu
MFC after: 1 week
Differential Revision: https://reviews.freebsd.org/D42823

(cherry picked from commit 04952a9456e226460d1d95c42ea53861b1133b1a)