Boosting EPECK kernel...