More acpuclock-7x30.c adaptions
Experimental change to board-ariesve.c

The compiler doesn't recognize .boot_params specified in initializer
in this case we'll have to use .atag_offset but this may cause the bootloader to not properly recognize the board
for .boot_params changes have to be made inside arch/arm/kernel/setup.c