Previously difftest uses the extra 32 read ports of regfile and it is
disabled by default under FPGAPlatform. However, when FPGAPlatform is
enabled, we also drop the right 32 read ports and it causes errors.