A set of miscellaneous system configs for Debian