Build and install secondary ROMs for Galaxy Nexus dual-boot kernels