Modified patch from Prabhat Verma to enable loading core files through the SBTarget API.