kernel-fxtec-pro1x/build.config.gki.x86_64