I looked at the source code of u-boot for K2. It is not difficult to add support for running any systems with SD card or USB stick.