Merge #618

618: Fix SMP with 3 or more CPUs r=mkroening a=mkroening

Closes https://github.com/hermitcore/libhermit-rs/issues/617.

Co-authored-by: Martin Kröning <mkroening@posteo.net>
5 jobs for master in 8 minutes and 30 seconds (queued for 1 second)