Re: 32bit guest on 64bit host, should it work?