[PATCH] Clean-up and bug fix for tdfxfb framebuffer size detection