vc4: Update to current kernel validation code.