Important: the hakefiles are configured for Ubuntu 16.04. If you're running a different OS and having trouble with compiling, let me know.
$ mkdir build && cd build
$ <path/to/source/tree>/hake/hake.sh -s <path/to/source/tree> -a armv7
$ make -j7 PandaboardES
$ sudo make usbboot_panda