upstream/4.16.1+71-g48b6765174

Hans van Kranenburg

@knorrie

48b67651 · xen: arm: Don't use stop_cpu() in halt_this_cpu() · Aug 03, 2022

Tag current upstream stable-4.16 branch for Debian baseline