# CONFIG_LIVEPATCH is not set