Currently, CIPE is buried in the "Wireless LAN (non-hamradio)" subsection of "Network device support" when doing a make *config. It'd be far more logical and accurate to put it directly under "Network device support."
Still true with RC1
Still true with RC2
Closing as fixed current, since 7.3 gold fixes this