After a recent kernel update, my linux terminal is now displaying teeny-tiny text. How do I set the default terminal back to 80x25? -- "Oh, look: rocks!" -- Doctor Who, "Destiny of the Daleks"