[seL4] reclaiming some frames of initial thread

Happy new year! dear experts, It seems that user space image frames of initial thread are created before initial untypeds, may I ask can we reclaim some of those frames after use? will this lead to creation of addtional root untypeds? Regards, yf