readclock: use read/write/set from minix/mmio.h

Change-Id: I5fc7d7d06fd202567f23bbd734c08bffad02eafe
splash: framebuffer test program

Change-Id: I7e045a4c6cec476615057f46f530693c0a2a17e0
splash: use parameters provided by the fb driver

Certain parameters, such as screen resolution, differ between
monitors. Enhance the splash program to dynamically configure
itself.

Change-Id: I49b0a3704decb7cb4633a1ee424b0419a1d67cf0