s390/boot/decompression: disable floating point in decompressor