fixup to pda2-reboot