hal: k20 - flash config section addition

This is as I described in #212. Tested with pyOCD and binary mbed cmsis-dap interface (binary flashing)