Improve the debug serialization for Board