Hello Mald0n,
First of all, apologies if this is not the correct place to put this kind of post, you can redirect me to the correct place if needed.
I have placed the .aml file as indicated in the guide, however, after rebooting I cannot see any information under PCI:
Also, I have followed the guide for fixing the graphics and I believe the device properties is correct now in the config.plist, however, the Intel HD 5000 is still not working correctly. Every time I reboot the system, I need to manually enter fake id 12345678 in order to see some GUI:
Thanks in advance for your help, I have been trying many options without success.