If it requires flashing a specific kernel why this is not specified in the instructions? I wouldn't go over estimating users like this. It might be the first rom they're installing. Also, since percy's kernel uses CWM for recovery, people will think they did something wrong when they don't find the "Wipe Dalvik Cache" in the normal recovery menu.
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality. Are you a developer?