FYI: The latest kernel is always in the repository now. It does come with F2FS and BFQ.
$this->bbcode_second_pass_code('', 'pacman -Sy linux-raspberrypi-latest linux-headers-raspberrypi-latest')
_______________________________________________________________________________________________
If you are feeling adventurous and want to try this bleeding edge kernel, here it is. As usual you can use it to boot from F2FS partition and it comes with BFQ I/O scheduler (which is disabled by default).
$this->bbcode_second_pass_code('', 'pacman -U http://dl.dropboxusercontent.com/u/15043728/ArchLinuxArm/RaspberryPI/kernels/3.9.0/linux-raspberrypi-3.9.0-1-armv6h.pkg.tar.xz http://dl.dropboxusercontent.com/u/15043728/ArchLinuxArm/RaspberryPI/kernels/3.9.0/linux-headers-raspberrypi-3.9.0-1-armv6h.pkg.tar.xz')