[R38] Update coron-4.0 tools to ROM38