This patch improves the startup code for ARM a bit. Thanks p.