# CONFIG_EFI_SOFT_RESERVE is not set
