Re: [LinuxBIOS] ADLO & biosdecode