Add: user.php: platform "Linux/RPi-XBMC"