VC4_HDMI_PACKET_STRIDE
u32 packet_reg = ram_packet_start->offset + VC4_HDMI_PACKET_STRIDE * packet_id;
VC4_HDMI_PACKET_STRIDE * (packet_id + 1);
uint8_t buffer[VC4_HDMI_PACKET_STRIDE] = {};