Re: [LinuxBIOS] [RFC] FILO normal/fallback boot patch