Support for high-DPI displays

[vmlinuz]

These days, mere HD is often not enough. Monitors are getting higher and higher pixel densities, and unfortunately, many operating systems fail to take advantage of this. The result is often that text and display objects become too small to read. Haiku makes ubiquitous use of vector graphics and TrueType fonts, so scaling it to high-DPI displays should not be too difficult.