Re: [OpenBIOS] [PATCH v2] Introduce forth_init() for trampoline initialization