Adapting Linux for ARM