linux_x86: Linux x86 32bit
