Did everything work when no docking ? What is your firmware type (UEFI or legacy bios). I don't think grub handles docking station so why it matters is really head scratching.