switched early_boot_console to UART4
changed startup GPIO in-out high-low values for certain pins to test whether kernel starts up to a reasonable state (e.g. LED turns on if kernel boots, regardless of the serial output or lack thereof)