and another, hopefully final kernel allocator fix...? :)