Symbol: cfe_linux_halt