BootLinuxS390X test failing due to a TCG bug