CVMX_MIO_BOOT_LOC_ADR
cvmx_write_csr(CVMX_MIO_BOOT_LOC_ADR, i * 8);
cvmx_write_csr(CVMX_MIO_BOOT_LOC_ADR, 15 * 8);