dfc436802d
The bootloader is firmware-specific, not form-factor: UEFI hosts use systemd-boot, BIOS hosts use GRUB. Drop boot.loader.systemd-boot.enable from workstation.nix and declare it on the MBP instead, so the incoming BIOS-only T400 (GRUB) doesn't have to force it off. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>