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

#include <acpi/acpi.h>
#include <intelblocks/acpi.h>

void mainboard_fill_fadt(acpi_fadt_t *fadt)
{
	/* Control method power button (EC) */
	fadt->flags |= ACPI_FADT_POWER_BUTTON;
}