kernel: b53: use hard coded switch reset gpio on some boards.