more documentation, Linux SBC, EFI controller

More general documentation added.  Mostly about the
Linux SBC (RasberryPI) and the EFI Controller (STM32F4).