/boot is not needed for boot
bluemote: php: full sendmail path
mathijs/homedir: add prooftree
upgrade all systems to linux 3.15