[PATCH 3.18 40/45] alpha: fix reboot on Avanti platform