[CORE] vmm_scheduler: Add vmm_scheduler_ready_count() API

This patch adds vmm_scheduler_ready_count() API to determine
number of ready VCPUs with given priority on particular
host CPU.

Signed-off-by: Anup Patel <anup@brainfault.org>