seoul: update to recent seoul branch

Required to use intel82576vf in 64bit host mode
seoul: add intel82576vf for 64bit
seoul: fix run script issues 823 and 824

Fix #823
Fix #824
seoul: add test for native runs

and add to autopilot list.
seoul: add invalid guest state handling