Fixed empty kernel list bug