docs: kernel_abi.py: fix UTF-8 support