Kernel32 on Xbox One

I’m a maintainer of a python library, and I got a bug report, that reduces to ctypes not working on Xbox as I would expect. Here is a slightly simplified stacktrace:

File "dir\fasteners\pywin32\", line 1, in <module>
from ctypes import c_void_p
File "dir\system\python\lib\ctypes\", line 468, in <module>
GetLastError = windll.kernel32.GetLastError
File "dir\system\python\lib\ctypes\", line 443, in __getattr__
dll = self._dlltype(name)
File "dir\system\python\lib\ctypes\", line 373, in __init__
self._handle = _dlopen(self._name, mode)
FileNotFoundError: Could not find module 'kernel32' (or one of its dependencies). Try using the full path with constructor syntax.

Any ideas on whether this can be fixed? (here is the full bug report, if it helps). Thanks!