mbed library sources
This pull request has been rejected by
Changed startup_MKL25Z4.s to prevent PTA4 low level to break startup of board
When PTA4 is low when the KL25Z board is reset, it will not startup correctly (get into NMI) in some cases. See complete description here: https://mbed.org/questions/1837/Urgent-Serious-KL25Z-does-not-boot-when-/
With this fix, the board does boot, but some NMI functionality is impaired.