gma power: Allow to explicitly enable DDI/Aux power

We used to enable power for DP-aux channels quite implicitly by faking
configs that use a specific port.  As Tiger Lake requires us to enable
a DDI port's power late during the modesetting sequence,  we introduce
a new API for such cases, and also use it for the DP-aux case.

Tested on HSW, and BXT & CFL where we enable PW2 explicitly now.

Change-Id: I1fd6348ff4855557166495613c6a181f85a818f4
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.sourcearcade.org/c/libgfxinit/+/461
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
diff --git a/common/hw-gfx-gma-display_probing.ads b/common/hw-gfx-gma-display_probing.ads
index 9c59652..ea13329 100644
--- a/common/hw-gfx-gma-display_probing.ads
+++ b/common/hw-gfx-gma-display_probing.ads
@@ -30,7 +30,8 @@
       Port     : in     Active_Port_Type;
       Success  :    out Boolean)
    with
-      Post => (if Success then EDID.Valid (Raw_EDID));
+      Relaxed_Initialization => Raw_EDID,
+      Post => (if Success then Raw_EDID'Initialized and EDID.Valid (Raw_EDID));
 
    procedure Scan_Ports
      (Configs     :    out Pipe_Configs;