52x - Michael Dell používa Linux a 10 000 RPM disk v notebooku