Re: [SeaBIOS] insn prefixes?