Log Message: xentools413: remove outdated SUBST blocks for /proc and /kern The file define.ml does not contain any hard-coded paths anymore. These are autogenerated in paths.ml.