bugfix in KERNEL.PILEDRIVER