Installing the AeroGear Netty and SimplePush modules to usr/modules instead of the system level (/etc/alternatives/jbossas-7/modules).
Temporarily switching the cartridge vendor back to test and adding the modules via the module path to be able to test with a downloadable cartridge.
Changing cartridge name to 'openshift-origin-cartridge-aerogear-push' and changing the cartridge short name to 'AEROGEAR_PUSH'.
Switching the cartridge vendor back to redhat and adding the modules via the spec file.