I would like Genode to support my monitor's native resolution, 1920x1080, which my BIOS doesn't support. I have a Radeon HD 5450 video card. What is the easiest way to support the resolution? Do I need a Radeon HD-specific driver, or can I add additional display modes through another means?