This is not a useful answer, given that the new kernel had already been installed.
Running "pacman --remove kernel26 kernel26-headers" did the trick, with no apparent negative effects.
-Doug
Users browsing this forum: No registered users and 10 guests