Thank you for your support.
I tried your solution but still no success.
Then I tried the "last possible" solution: change DVMT value (0x350 to 0x3 in my case, Dell 3040 micro) instead of using IntelGraphicDVMTFixup / Evergreen kext, and, voila, 4K as well as high resolution of HiDPI mode come back!