2ch goes, using different OS and virtual machine may cause
compatibility problems and may force extra work to Fox-san &
root-san to build and move contents to new servers.
So, I think it is up to Fox-san's and root-san's opinion.
My opinion:since pink channel's traffic can be covered with only
one server,(I know you would want it to divided into two servers
or more, for backup reason) virtual machine may just make things
complicated.