- add "psb_gfx" into the MODULES section of /etc/mkinitcpio.conf,
  - run "mkinitcpio -p linux" as root.