x86: add arch-specific SFI support