i386: Fix leak of ../kernel from top level