kboot: Need to find the ACPI tables

We need to pass the ACPI tables to the laucnhed kernel (at least for x86
and aarch64). Find it using the Linux standard way.

Sponsored by: Netflix

(cherry picked from commit 1066a70e149abb383c49a4587de21eebf9b7e1d5)