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

SAMA5D4-EK:  Add a configuration for testing the kernel build configuration (still a work in progress)

Separate flat, protected, and kernel mode library selected into separate files.  The conditional logic as exceed my able to comprehend and maintain the selections.

Various changes/fixes to get configs/stm32f4discovery/kostest working after the big configuration renaming (and after a long period of bit rot)

STM32 FLASH fixes: use size_t instead of uint16_t, make interface more generic.  From Freddie Chopin

Change CONFIG_ADDRENV to CONFIG_ARCH_ADDRENV; change how it is selected -- the architecure must first declare support