Override platform in kernel.py.