Switch to Seoul VMM repo instead of NUL.

This is the first attempt which runs just like the previous Vancouver version. It can be used for further discussion about details.

Related to #666.