Do we have an official list of supported CPU architectures? For example, is the 32-bit x86 supported?