lima driver fixes

Small set of fixes (nothing critical) for the lima video driver.