kernel ausgelagert und alle kernel sollten vollstaendig sein