# CONFIG_KARMA_PARTITION is not set
# CONFIG_EFI_PARTITION is not set