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