Sounds good, I'm just wondering if there could be a option to chose between multiple boot files in the boot loader itself.
And since this fix seems to be something that is going away from new kernels, wouldn't it make sense that we could hold a hotkey when the bootloader is loading to disable the kernel_patcher?