Eidsvold — heter det — skulle prins Kristian utropas till Norges kung.