Remove INSTCACHERESET option, also fix PCMCIA2RAM while here (forgot to add RAM).