[ fix ] soft/rpib_gpu_firmware, must indicate kernel name in config.txt