Re: [PATCH] Nokia RX-51: Use ENTRY/ENDPROC for save_boot_params