Patching the DDK kernel sources for hwr-prebuilt

For the configuration where the pre-built library and firmware files
are used for the DDK, the kernel driver still needs to be patched
the same way as we do when we are building from source.

Signed-off-by: Kshitij Sisodia <kshitij.sisodia@arm.com>