kernel に更新(4.14.3-300)が来ていたので Upgrade したら、
VirtualBox で GUI が高解像度にならなくなってしまった。
4.13.16-302 で起動し直したら高解像度に戻った。
これは kernel と VirtualBox どちらかの問題なんだろう？