Linux/EVMK2H: Can boot via setupBoard.minicom but not via flash?

Part Number:EVMK2H

Tool/software: Linux

http://software-dl.ti.com/processor-sdk-linux/esd/docs/05_00_00_15/linux/Overview.html#processor-sdk-linux-getting-started-guide :

6. Run the Setup Script

Neither ./setup.sh nor anything preceding it achieves a login prompt on EVMK2H, but using the setupBoard.minicom script that results does:

$ minicom -D /dev/ttyS0 -S setupBoard.minicom -C ttyS0.log

Arago 2018.04 k2hk-evm ttyS0

k2hk-evm login: 

How can we program the flash so that EVMK2H boots from flash to this point without the use of setupBoard.minicom? Of course, we will have the host TFTP, NSF, etc. available for that. 

Our host is Windows 7 running Virtualbox hosting VM Ubuntu 16.04 Linux.