[SLE] where to get the current kernel