seL4-example: Isabelle2020 has new export path

Signed-off-by: Gerwin Klein <[email protected]>

Recognise new instruction'mcr function types.