Correctly align ARM stack in _sel4_start routine
Squash compiler warning.