1// SPDX-License-Identifier: GPL-2.0
2
3#include "../kernel/alternative.c"