A simple Raspberry Pi kernel to flash the OK LED in a preset pattern