# CONFIG_HAVE_LIVEPATCH is not set
