Update kernel path to $CDBOOTDIR/bsd