correct the debug output for KernelAndKextsPatcher