psp_boot_config_set
ret = psp_boot_config_set(adev, BOOT_CONFIG_GECC);
ret = psp_boot_config_set(adev, 0);