Symbol: efx_ef10_get_warm_boot_count