KPN komt in januari met update voor decoders die tv-gids sneller moet maken