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