Fixed wrong pointer in mbed arch header
Fixed more minor warnings in mbed arch header