absolutely. i would desperately love to have a laptop capable of running OS4. AROS is already available, yes, but it is not for me. i try every icaros release, hoping it will be, but it isn't nearly as polished (yet). maybe in the future, but for now, would much prefer to have OS4 available for x86/x64 hardware.
-- eliyahu