Linuzoid:
I just tried your solution as posted in the other area--thank you, thank you, thank you, IT WORKED. In pclos there are two modprobe.d lists, so I put the driver entry in both, and all reference to HDMI is gone from the multi-media section of 'system setup'...
--
Bill H