Thanks a lot Stuart Henderson,the method was very helpful and I am able to update the kernel. The problem is fixed now. Again I am very thankful for your kind support :) :)
-- Sent from: http://openbsd-archive.7691.n7.nabble.com/openbsd-dev-bugs-f183916.html
