Boards like TinkerBoard (RK3288) have a Video Processing Unit. Is that a physical chip? It's inside the Mali GPU? Or it's a virtual thing?