Track our own smdk4412 kernel

No reason for it to point at xy.