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

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