Added IA32 emulation support into kernel.