[OpenBIOS] [PATCH 12/14] tcx.fs: move framebuffer mapping over from C to tcx.fs