Re: [SeaBIOS] [Qemu-devel] [PATCH 6/6] load_linux: change kernel header size allocation