merged firmware 12.0.A.1.257 kernel sources