I'm now trying to port edk2 to sm7250platform.but the device refused to boot.is here any guid for port to a new device?