OK, so the vulnerable machines are a Wyse Winterm 9455XL, and an HP t5125.
I actually have a Winterm 9450XE, which is simply a smaller version of the 9455XL - the same EPIA 5000AW motherboard overclocked to 550 MHz from 533.
I'm not familiar with the HP t5125, but the 9450XE/9455XL's BIOS was pretty janky, I reflashed it with the latest official EPIA BIOS.
I should probably actually figure out how to test this when I get home...
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!