r1038: wrong 0x100|0x800 flags in PE mode