Re: [LinuxBIOS] protected mode switch