fix unnecessary kernel rebuild