Simple solution if you want IR control on your PS4: use a PC USB IR REMOTE, Google for example on:
Excelity Wireless USB PC Computer Remote Control.
If you have a programmable remote control, you can learn it the IR codes and you can use the programmable remote to control your PS4.
Works perfect for me.
It works on PS4 but also for a lot of other devices. Since this remote acts as if it's a USB keyboard (and it can also send mouse signals) it works without the need for any drivers.