pub type BootManagerQueryCurrentConfigurationResult = Result<Configuration, i32>;