Is it necessary to support Linux IA32 as a target platform?