[RFC PATCH 05/31] Add is_sev_enabled() helpers