Improved recipe for boost to autogenerate the user-config with 32-bit arm