Set arch_minimum_kernel to 3.4.0 for x32