Somehow I missed that Coverity reported that complaint about a (theoretically) uninitialised pointer twice, against the two platforms' console.c files. Now fixed the same way in the other one.