Hi,
     I have a Childish question,why need 32bit code in seabios?. I found some files are
compiled in 16bit and 32bit twice.
    Thanks!