INTEL_DISPLAY_OFFSET
set_frame_buffer_registers(INTEL_DISPLAY_OFFSET);
pipeOffset = INTEL_DISPLAY_OFFSET; // Use pipe B if requested