[S390] Make sure enabled wait psw is loaded in default_idle.

[linux-2.6] / arch / powerpc / boot / dummy.c

int main(void)
{
        return 0;
}