[SeaBIOS] [RFCv2 00/15] Experiment with PAE paging