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