[PATCH] CONFIG_IA32