Well, I didn't claim that the videocore was a fpga, it's likely some form of gpu/cpu - It's not implemented on anything running in the kernel or on the arm core though. fpga or something else, the concepts are rather the same seen from the main CPU running an operating system.