[PATCH v1 0/4] make hdmi work on bananapi-r2