[U-Boot] Question regarding cpu_get_count(..)