@ All , It was a definately a 32bit problem in the previous attempts at installing Workstation player .
"Where I did make mrproper & copying the "(Here is the critical part)" X86(32bit) HUGE .config from -current &make oldconfig & make ALL , Just to make sure ." I was unaware that the config was a 32bit version . too find out I did a "file /usr/src/linux/vmlinux" which reported that this image was a 32Bit kernel image .
I then copied an appropriate x86_64 .config in the procedure mentioned above & all went well there after .
Hth , JimL