Fix the Microkernel release at Fedora 19

Rather than defaulting to whatever release of Fedora we are building on, this
fixes our mirror to an F19 mirror.  That should produce a more predictable
result for users building on platforms other than the version we happen to be
running on presently.

Signed-off-by: Daniel Pittman <daniel@rimspace.net>