Linked Presentation: Minimal Kernel: An Operating System Architecture for TEE to Resist Board Level Physical Attacks