I see I haven't given a status update here... There were a couple of patches on the mailing list. One definitely fixes it. The other fixes it, but possibly (I should retest) breaks video output while booting (on seabios git, but not 1.7.4).
I see I haven't given a status update here... There were a couple of patches on the mailing list. One definitely fixes it. The other fixes it, but possibly (I should retest) breaks video output while booting (on seabios git, but not 1.7.4).