# CONFIG_KDP is not set
# CONFIG_RKP is not set