Notch does not match device size (Redmi 6 Pro - sakura)

Bug description:
Notch size of the launcher does not match with the device size no matter what option is selected from the display cutout overlay menu.

Affected version: MK90.0-sakura-201901171542

Steps to replicate:
if running with the device default option, running full screen app, the notch will block some part of the screen. To make the screen look default, the only option is to select the tall overlay but the size of the overlay is too small and too thick. (Kindly view the attactment).