bugfix in KERNEL.HASWELL