sev_hardware_setup
void __init sev_hardware_setup(void)
static inline void __init sev_hardware_setup(void) {}