pull-request-2025-07-11

Thomas Huth

@thuth

693b3039 · target/s390x: Have s390_cpu_halt() not return anything · Jul 11, 2025

* s390x: Allow to select different entries when booting via pxelinux.cfg
* Link s390-ccw.img statically
* Fix broken bamboo functional test
* s390x code cleanups and refactorings