s3c2440 can use the generic ARM WFI which is much simpler. If there's any advantage...