falcon : restore the old kernel path