Add code to b_smp_config for checking if a CPU is present/active/idle.
RCX should be passed for an CPU ID.