various changes for kernel video support: