The old Great White Hall buildings were demolished around 1620 .
The old Great White Hall buildings were replaced , and a kitchen and buttery were constructed .
The old Great White Hall buildings were demolished around 1620 and replaced , and a kitchen and buttery were constructed .