Did you configured your kernel specifically? Because I get
ls: cannot access '/sys/devices/system/cpu/cpu0/online': No such file or
directory
i.e. my kernel isn't capable of taking core 0 offline. Maybe the
Jailhouse driver is not getting a proper error when trying this via the
corresponding kernel function.
Jan