The text 4a7ebf7a735e, as Debian 8 (Jessie) shipped it.
Flushes TLB slot slot.
__flush_tlb_slot(9) on Linux now