[SeaBIOS] [Qemu-devel] [PATCH 4/6] pc: format load_linux()