We have u-boot booting all Raspbian from a debian file server. Only firmware and u-boot file are on the sdcard. However in the boot process the display resolution changes at kernel start time from the config.txt value to one with much less resolution.
Setting the explicit display resolution and the hdmi-force switch in config.txt does not see to change the behaviour.
Suggestion as how to maintain the config.txt specified display resolution over this boot process?