fix vbox driver build?
export KERN_DIR properly