The official Raspberry Pi display has a resolution of 800x480. However, Raspbian doesn't have an option for this resolution under Raspberry Pi Confiugration->System-> Set Resolution. How do I a...