Should be possible to start as booted and to ensure the operations of the bios are executed in C. By capturing state and reproducing it beforehand.