Remove the SMALL_KERNEL option; RAMDISK is dead!

"Go ahead and remove it" patrick@