kernel: Move modifications of b53.h into patch