Comment 14 for bug 1795857

the disco kernel being prepared does enable bochs again, but kmod still needs to be fixed.. there's no mechanism for arch-specific blacklisting (right now at least), but the kernel option could still be disabled for ppc if absolutely necessary