bios: Add fast variant of SeaBIOS for use with -kernel on x86.