bigmem kernel

[Marc Auslander]

having installed the bigmem kernel package, should I then remove the 
regular kernel package?

my concern is that if I don't, the next update to it will replace vmlinuz 
with the regular kernel.

or are the installers smart enough to avoid that?