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>