Exactly. And their are developers out there who have altered the ROM builds for efficiency. You just pick the one you like and run with it. Some are gingerbread, some froyo, sense 2.1/3.0/3.5, etc. Tons of options
The kernel is the lifeline of the phone. it controls processor speed, I/O...