configs: sync with debian 3.13.5

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>