I suspect that you will find it easier to convince people to accept a
change to %pK than removal:)
BTW, I have a T4240RDB so I might be able to test this series at some
point - do I need an updated bootloader to pass in a random seed, or is
the kernel able to get enough randomness by itself? (Sorry if this is
explained elsewhere in the series, I have only skimmed it lightly!)
Regards,
Daniel