cc1541.c: another source formatting fix