Minor changes

- Include <aery32/all.h> in board.h
- Update docblock for serial_port::printf()