acpi_md_ncpus
uint32_t acpi_md_ncpus(void);
if (acpi_md_ncpus() == 1)
sc->sc_ncpus = acpi_md_ncpus();