# SPDX-License-Identifier: MIT
if [ "$KARCH" = "x86_64" ] || [ "$KARCH" = "i386" ]; then
    kconf non-hardware debug-early-printk-efi.cfg
fi