This code does not work, and will be replaced by a bios image.
Signed-off-by: NRichard Henderson <rth@twiddle.net>