EDK - A modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications