s390/bug: make use of asm_inline