{ lib, pkgs, config, ...}:
{
  config = {
    kernel.config = {
      CPU_LITTLE_ENDIAN= "y";
      CPU_BIG_ENDIAN= "n";
      # CMDLINE_FROM_BOOTLOADER availability is conditional
      # on CMDLINE being set to something non-empty
      CMDLINE="\"console=ttyAMA0\"";
      CMDLINE_FROM_BOOTLOADER = "y";
    };
    boot.commandLine = [
      "console=ttyAMA0,38400"
    ];
  };
}