Add config for 32 bits 3.12.14 kernel