[R40] Update coron-4.0 reference repository to ROM40.