Well, that seemed to fix one issue (the window that told me that the kernel wasn't patched would disappear immediately), but I'm still getting "Failed to patch kernel".
What hardware are you running? The "Failed to patch kernel" error means that applying the BFI_INT patch failed. (likely because you are using unsupported hardware)