Reverting "Fix for LED flashing bug happening with 0x00000000 schedules.". This is now fixed in libpinproc.