Incorrect handling of PAGE_FAULT_MASK

[jposwiata]

The condition in core_interconnect.cpp:138 is incorrect. Should be:

if (is_finished && (status & 0x7f) == page_fault_mask)

(to get rid of READ/WRITE page fault bit, 0x80).
Same in :107

[abdelrahim-hentabli]

Hey @jposwiata, thanks for opening this issue, and for sharing the fix as well. And great catch! We'll get this fixed ASAP!

[abdelrahim-hentabli]

Hey @jposwiata, thanks again for the issue, it should be fixed as of 673feec

[mzhukova]

Closing as resolved and no reply from the submitter for a month.
@jposwiata please, feel free to re-open if needed.