[PATCH 0/2] MR8897: gitlab: Merge the platform docker files back into a single file.