Remove (out of date) binary kernel images