How can ensure the Mali driver is successful installed and load in kernel drive on boot up in BPi M1 baord

[Jir8taiwan]

Hi, Whom may concern.

I am new learner and try to build my Banana Pi M1 in an up-to-date operation system.
It is using Armbian 20.08.3 with kernel 5.8.11-sunxi in my system now.

I have followed the instruction slowly building up, but it might be a stupid question as following.
How can I know the Mali driver is really made and boot up with the loaded in kernel module?
I have many failures to recompile kernel core to mali driver and made many time of os reinstallation.
I only know the first default in system, and lsmod cannot find out any description about mali driver.
Kernel headers is empty about mali.ko file, Icannot use modprobe or insmod to call it.

It can go steps until point 5 : https://linux-sunxi.org/Mali_binary_driver#Verifying_the_EGL.2FGLES_driver_stack
And it can go # install mali driver (http://wiki.lemaker.org/BananaPro/Pi:GPU)
Should I do any thing to make it up?
This is because I have used another helper project of personal image in SD card (https://github.com/bernhard263/Bananapi-Retropie/wiki).
I can look at mali driver and fbturbo driver in lsmod list, but my new installed os cannot have same list.
My:

Module                  Size  Used by
hid_logitech_hidpp     36864  0
mousedev               20480  0
joydev                 24576  0
input_leds             16384  0
btusb                  40960  0
btintel                20480  1 btusb
btrtl                  20480  1 btusb
btbcm                  16384  1 btusb
bluetooth             401408  5 btrtl,btintel,btbcm,btusb
ecdh_generic           16384  1 bluetooth
rfkill                 20480  2 bluetooth
hid_logitech_dj        20480  0
ecc                    28672  1 ecdh_generic
lima                   45056  0
axp20x_adc             16384  0
evdev                  20480  2
sun4i_gpadc_iio        16384  0
gpu_sched              28672  1 lima
sun4i_ts               16384  0
sunxi_cir              20480  0
sun4i_drm_hdmi         24576  2
sun4i_ss               28672  0
sunxi_cedrus           32768  0
display_connector      20480  0
uio_pdrv_genirq        16384  0
uio                    16384  1 uio_pdrv_genirq
cpufreq_dt             20480  0
zram                   24576  3
ip_tables              24576  0
x_tables               24576  1 ip_tables
autofs4                36864  2
axp20x_usb_power       16384  0
pinctrl_axp209         16384  0
industrialio           53248  3 axp20x_usb_power,sun4i_gpadc_iio,axp20x_adc
sun4i_gpadc            16384  0
sunxi                  20480  0
phy_generic            20480  2 sunxi
realtek                20480  1

It is afraid something wrong or missing processes.
Would someone please advise me how to run correct steps in next?
It will help a lot for newer experiences and knowledges.

Thanks a lit.