I tried to install this fix but I found that the code in rpihw.c does not work.
This line does not work on the Pi
If I run cat //proc/device-tree/system/linux,revision, I see some sort of binary code. I am not sure that was is supposed to be there. If I hexdump it I see
0000000 9000 e120
0000004
