Supply thread index on RPC
Only permit active thread at a time
Optmize memory usage by sorting symbols by aligment
Doc: Update for FIQ deliver with SCR_NS cleared