Yes, it was always checked. Something funny just happened. I was browsing through settings - not the sound settings - and suddenly noticed the vibration is back.
Sent from my SAMSUNG-SM-N900A using xda app-developers app
Device: Samsung Galaxy Note GT-N7000 (international)
ROM: Criskelo 4.0.4 ICS ROM XXLRK v11.2
Kernel: speedmod k 3-13