Obsolete support for the 8051 family. Trying to maintain compatibility with...

Obsolete support for the 8051 family.  Trying to maintain compatibility with this family is too much effort and there has never really been a successful NuttX impplementation on these parts