configs/olimex-stm32-p407: Various changes as necessary to get the new kelf configuration working. configs/olimex-stm32-p407: Add kernel ELF (kelf) configuration.