SafeGuard Device Encryption: boot hanging with "no init" on machines based on Intel Haswell microarchitecture (e.g. Dell Latitude E7440, E7240, E5540, E5440)

When booting the machine, use the hotkey combination Shift+F6, to load the SafeGuard POA in "Int13" mode instead of "ATA" mode.