CRIS v32: Change name for simulator config in asm-cris/arch-v32/page.h