[OoB-5.9]: Example fails to run on K64F + GCC.

Steps:
1. mbed import mbed-os-example-uvisor-thread
2. mbed update mbed-os-5.9.0.-oob
3. mbed compile -t GCC_ARM -n k64F -f
4. reset the device.

expected:
Example runs with some printfs on the serial console

actual:
Nothing happens on the serial terminal.

Start by reproducing the mbed import, update, and GCC_ARM compile commands on the K64F, then reset the device and inspect the serial console. Compare the result with the expected printfs; done means the example runs and produces output on the serial terminal.

Written by the indexing model from the issue text.