I found out myself after all, you need to build for abi indeed (build_abi.sh) with the common kernel config. After that look into dist folder for the exported symbols (xml) file, get your symbol and put it in the android/abi_gki_aarch64.xml file. Now the symbol will be exported from common area to other areas (vendor or something else).