For noMMU kernel this change nothing bring but this change
helps with MMU synchronization.
Signed-off-by: NMichal Simek <monstr@monstr.eu>