[Bug 567803] kde4 live cd _64 Boot on a 32bit platform