What version of MicroPython is running on the DevKit? It will depend on where the build came from and what libraries are frozen into the build. In v1.18 of MicroPython, support is in the bluetooth library.
From https://docs.micropython.org/en/latest/library/index.html
MicroPython provides built-in modules that mirror the functionality of the Python standard library (e.g. os, time), as well as MicroPython-specific modules (e.g. bluetooth, machine).
Most standard library modules implement a subset of the functionality of the equivalent Python module, and in a few cases provide some MicroPython-specific extensions (e.g. array, os)
... and also, importantly:
In most cases, the above modules are actually named umodule rather than module, but MicroPython will alias any module prefixed with a u to the non-u version. However a file (or frozen module) named module.py will take precedence over this alias.
This should explain the behaviour that you are seeing.