OpenCore bootloader built with additional EFI modules for ProBook 4x30s series laptops: BIOS fan reset (do not use – this module causes HD 3000 graphical artifacts) and BIOS Wi-Fi whitelist bypass.
The EFI modules are ports of @RehabMan HP fan reset module. These cannot be integrated upstream because their original code is GPL-licensed, – and OpenCore project and @acidanthera (understandably) doesn‘t accept GPL in their code base.
Based on OpenCore 0.9.4 (5afed6e).