CentOS7→8→8Streamのアップグレードは失敗し、起動しなくなったので、クリーンにストールする羽目に。