EDK backend compilation