ARM: a few more compiler optimizations

This is always a WIP ... kernel tweaks tend to not do much