Update PTE_SYNC_CURRENT to add a dsb for armv7 - part of the
break-before-make fix.
fix the module class.
HDMI framebuffer support, tested on Cubieboard2 and Hummingbird A31.
If boot args contains "console=fb", use genfb for console device. Also set db_trap_callback so we can use VCONS_DRAW_INTR
enable VCONS_DRAW_INTR
enable awinhdmi, awintcon, awindebe, genfb, wsmux, wsfont