Help with Gudmund Johnson Kirkhus

I'm looking for information on Gudmund Johnson Kirkhus. From the US Census records we believe the family immigrated around 1854. we know of two children born in Norway. Gundhild born Jul 8 1845 and Peter born Jun 20 1853. Where the other children in Norway? Where was the Kirkhuus farm? When did they leave Norway? Gudmund baptism record 49 https://urn.digitalarkivet.no/URN:NBN:no-a1450-kb20070619620429.jpg Gudmund's marriage record 7 https://media.digitalarkivet.no/en/view/1602/134 Ingeborg Helena birth and baptism record 2 https://media.digitalarkivet.no/en/view/15784/30