I guess the same thing applies to vgaswitcheroo. I'm not a kernel developer, but I'm quite sure these are not just for debugging.