New review comment by sgn on void-packages repository

https://github.com/void-linux/void-packages/pull/31706#discussion_r660204996

Comment:
`-DMI_INSTALL_TOPLEVEL=ON`, honestly, their build system is broken!!