[RFC PATCH v2 05/35] Add is_sev_enabled() helpers