[R40] Update coron-4.2 tools to ROM40.