[PATCH] m68knommu: optimized local_irq_disable, and platform reboot code