Isabelle2016-1: syntax: use semantic markup instead of "header"

add arch_tcb object to C, rename aep -> ntfn