The kernel-rt sources need updating to include the RHEL7.3.z batch#4 source tree.
Ok for 7.3.z. There's probably a better way to manage the process here in the future.
Since the problem described in this bug report should be
resolved in a recent advisory, it has been closed with a
resolution of ERRATA.
For information on the advisory, and where to find the updated
files, follow the link below.
If the solution does not work for you, open a new bug report.