hope i can try the beta soon. and hoping SONY finally puts out a new media remote for the PS4.
My Samsung Smart tv remote works on my ps4 -- I didn't even have to do anything. It uses Anynet+. I'm not saying this will help you, but it might (or someone else reading this). I had no idea until I accidentally tried to pause the movie I was watching with my tv remote and it magically worked -- now I use it for watching movies all the time. It also controls the XMB, though I wouldn't try to play games with it.
EDIT ---
A quick google, Anynet is what Samsung calls CEC. Every brand calls it something different. From the first page I found:
Trademarks for CEC:
Anynet+ (Samsung),
Aquos Link (Sharp),
BRAVIA Link and BRAVIA Sync (Sony),
HDMI-CEC (Hitachi),
E-link (AOC), Kuro Link (Pioneer),
CE-Link and Regza Link (Toshiba),
RIHD (Remote Interactive over HDMI) (Onkyo),
RuncoLink (Runco International),
SimpLink (LG),
T-Link (ITT),
HDAVI Control, EZ-Sync, VIERA Link (Panasonic),
EasyLink (Philips),
NetCommand for HDMI (Mitsubishi).
If you have any of that, your tv remote should control your ps4 if you have it set up.
More info (and where I found the list):
http://www.psu.com/forums/showthread.php/321178-Controling-your-PS4-through-HDMI-(CEC-ARC-etc-)