Odroid-x trying to downgrade from 3.6.8 to 3.0.75?

[glenno]

Doing a pacman update the other day I was greeted with

Replace linux-odroidx with core/linux-odroid-x? [Y/n]

What the result of this was, is a downgrade of the kernel from 3.6.8-1 to 3.0.75-1. And then the box was un-bootable (stopped at u-boot trying to boot z-image).

Had to back it out by arch-chroot and installing linux-odroid-x (which replaces linux-odroidx).

And the system is fine now. Anyone know if this is a problem with the auto build code Arch uses or something planned?