playlist manager: shuffle via EPG key
playlist_manager: move shuffle to blue button