Fix for modules with dotted names in psci