Oh yeah. I forgot about that, since it's basically a one-time issue. You're right. It works the same on the Workstation product as well. From what I can tell, it's mainly used for video and mouse drivers.
Your supposed to do it every time you patch the kernel..