regtest gdbserver: add an extra filter for Raspberry Pi OS select