properly fix guest_os_type for windows 8.1 32-bit template