Fix some typos
Add Kconfig selections for STM32-F4x1RE SPI peripheral
Fix for BSD install without -D option
Minor update to last Kconfig change