# CONFIG_MISC_RP1 is not set
