fix kernel directory conflict derp