Re: [coreboot] Debugging MRC issues with FPS