Shoot.   I don't know why nobody stumbled over this sooner.   Sigh.
You need to add this line to files.pmax and re-run config:

arch/pmax/dev/sfb.c                     optional sfb device-driver

I'll check this in as soon as I get home and bring my Internet link
back to life... :'(

			       _MelloN_