[Lug-dd] BIOS, 8-GB-Grenze, und Linux