[OpenBIOS] [PATCH 1/2] fix an out-of-memory error on boot script load