/* SPDX-License-Identifier: GPL-2.0-only */

#include <onboard.h>

#include <variant/acpi/mainboard.asl>

/* USB port entries */
#include <variant/acpi/usb.asl>