point config.txt at new kernel (later do sed)