acpi_gic: Add helper for platform gicc

[coreboot2.git] / src / mainboard / asrock / fatal1ty_z87_professional / bootblock.c

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

#include <southbridge/intel/lynxpoint/pch.h>

/* FIXME: remove this if not needed */
void mainboard_config_superio(void)
{
}