Clearly explain that 32-bit x86 is not supported

Change-Id: I7f352fae8fa3742c61dc74e20aacd32254451bce
1 file changed