print ATAG info during boot

Change-Id: Ic4bb2c941ee7ddf59f206a3d413598ba672dfb6b