CVMX_MIO_BOOT_LOC_CFGX
cvmx_write_csr(CVMX_MIO_BOOT_LOC_CFGX(0), 0x81fc0000);
cvmx_write_csr(CVMX_MIO_BOOT_LOC_CFGX(0), 0);