Re: [SeaBIOS] os x boot broken by commit 11948748495841bd54721b250d68c7b3cb0475ef