Penguin

Describe EL2HLT? here.