OpenELEC 4.0 Is an Embedded Linux OS Based on the Excellent XBMC 13.0 “Gotham”