[arch-ports] {i686, pentium4}/core: linux & linux-headers out of sync

[Markus Schaaf]

I would have opened a bug report, but that seems impossible. I have seen
the new packages in staging, but updates on "normal" machines still
leave broken systems, if these depend on any extra modules.

Regards