build: skip rebuild of kernel images if the source did not change