support 32 bit guest