Symbol: X86_HYPER_ACRN