mali400 r3p2: Fix inline kernel build