On the assumption that syncing the new debian version is untenable at
this point in the release, attached is a debdiff which fixes this
specific issue.
** Changed in: microcode.ctl (Ubuntu)
Status: New => Confirmed
** Bug watch added: Debian Bug tracker #519904
http://bugs.debian.org/cg
diff /debiansid/etc/init.d/microcode.ctl /etc/init.d/microcode.ctl
78c78
< /sbin/modprobe -q -s microcode > /dev/null 2> /dev/null || true
---
> /sbin/modprobe -q -k -s microcode > /dev/null 2> /dev/null || true
---
modprobe --help says there is no parameter -k
Using de