On 21/12/13 20:08, Jonas Gorski wrote:
The cpu_id is in hex, so it needs to be %04x - not that it matters much since early printk won't work yet at this stage anyway IIRC. with this fixed (maybe John is nice enough to replace the one character;), Acked-by: Jonas Gorski<jogo@xxxxxxxxxxx>
i'll fold the nitpick while merging John