[SeaBIOS] [PATCH 10/11] Move the 32bit init code to high memory at runtime.