[SeaBIOS] Re: [PATCH v2 1/2] boot: Detect strict boot order (HALT record) in function