device 'hdmi' is too generic (and will be used later in a new device) so rename the arm TI devices to some proper name. Sponsored by: Beckhoff Automation GmbH & Co. KG Reviewed by: andrew Differential Revision: https://reviews.freebsd.org/D39119