(In reply to comment #15)
> I booted each configuration represent by attachment 104103 [details] and attachment 104104 [details] two times.

Just to clarify: the boot and testing order was:

rebooting into configuration 104103 → starting Portal 2 with GALLIUM_HUD=fps →
verifying FPS in level as low → powering off

booting configuration 104104 → starting Portal 2 with GALLIUM_HUD=fps →
verifying FPS in level as high → powering off

booting configuration 104103 → starting Portal 2 with GALLIUM_HUD=fps →
verifying FPS in level as low → rebooting into configuration 104104 → starting
Portal 2 with GALLIUM_HUD=fps → verifying FPS in level as high