os/os.h: Improve cpus_configured()