Exporting cpu instruction set to kernel .config file