Oddity when removing kernel versions