I strongly advise to hold off on updating your kernels on stretch armhf systems until this issue is resolved:
upgrade linux-image-4.9.0-8-armmp-lpae:armhf from 4.9.130-2 to 4.9.144-3 renders many systems unbootable https://bugs.debian.org/922478 I haven't yet seen an armhf system that can boot the kernel shipped with stretch's latest point release. Fix is in progress and will hopefully be resolved soon... live well, vagrant
