How can I define a variable that can be modified in arch/arm/kernel/head.S and printed in init/main.c? Thanks in advance. Best Regards, Davide