Do build modules by default for BERI kernel configurations now that we have
a proper boot loader.