erfolgreicher higher-half kernel im long mode