Symbol: ef100_get_warm_boot_count