Mention that keyboard input does not work with "pintos -v".