[ROM51] Update coron-4.1 reference for ROM51.