[MACH] CONFIG/Zynq - Added configuration of optional peripherals. Boot Logger selection.
[BSP] CONFIG - RaspberryPi - Added BSP configuration.
[CONFIG] Added configuration for BCM2835 machine.
[MACH] BCM2835 - Added basic driver and platform support.
[KERNEL] Added support for ARM11 processors in the FreeRTOS porting layer.
[CONFIG] Allow toolchain prefix to be configurable.
[BSP] RaspberryPi - Updated BSP to work with the latest BitThunder APIs.
[BSP] RaspberryPi - Added default configurations.