is_ppc_secureboot_enabled
bool is_ppc_secureboot_enabled(void);
return is_ppc_secureboot_enabled();
if (is_ppc_secureboot_enabled()) {