dirty hack - add c2port-core from kernel