kompile kernelc pdf only once

@andreistefanescu please review