API: Provide dummy halt() in the glue layer.