Reconfigure FPGA from USB-Blaster on a running HPS system

I'm developing for the terasic DE0-Nano-SoC Cyclone V kit. The chip must be configured before the HPS can boot, right? I can boot the device and run linux from an SD-card (which also configures...