payloads/edk2: Disable the CPU Timer Lib unless supported

[coreboot.git] / src / mainboard / protectli / vault_bsw / irqroute.c

/* SPDX-License-Identifier: GPL-2.0-or-later */

#include "irqroute.h"

DEFINE_IRQ_ROUTES;