tx100 s3p bios