scripts: add support for Sercomm kernel header