Wait to reacquire framebuffer so that switching to UI does not require pushing a new frame if it happens in between bottom and top of display

#ifndef PPM_H_
#define PPM_H_

void save_ppm(FILE *f, uint32_t *buffer, uint32_t width, uint32_t height, uint32_t pitch);

#endif //PPM_H_