Prezidentská rezidence v Královské zahradě, Pražský hrad