Для удаления платформы выполните следующие команды:
dpkg -l | grep platform | \ awk '{print $2}' | \ xargs apt remove