Follow-up fix for "hw: basic support for ODROID"