scripts: sercomm-kernel-header.py: improve compatibility